| Index: trunk/phase3/includes/DefaultSettings.php |
| — | — | @@ -3419,7 +3419,15 @@ |
| 3420 | 3420 | $wgHTTPTimeout = 3; |
| 3421 | 3421 | |
| 3422 | 3422 | /** |
| 3423 | | - * Proxy to use for CURL requests. |
| | 3423 | + * Servers placed behind an internal firewall may need an HTTP proxy |
| | 3424 | + * to reach external resources such as remote image repositories and |
| | 3425 | + * spam blacklist updates. |
| | 3426 | + * |
| | 3427 | + * If set, this HTTP proxy setting will be used for CURL requests. |
| | 3428 | + * Currently this setting has no effect if CURL is unavailable. |
| | 3429 | + * |
| | 3430 | + * Include the IP or hostname and port number of the proxy, |
| | 3431 | + * something like "proxy-address.example.com:8080" |
| 3424 | 3432 | */ |
| 3425 | 3433 | $wgHTTPProxy = false; |
| 3426 | 3434 | |