From 395d816bbda2ac3adcca5f57cf10b8ee0b383016 Mon Sep 17 00:00:00 2001 From: Brion Vibber Date: Tue, 23 Jun 2009 22:27:08 +0000 Subject: [PATCH] Add some more doc comment for $wgHTTPProxy --- includes/DefaultSettings.php | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index de18f1e4f3..c67bd661a0 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -3419,7 +3419,15 @@ $wgAllowSpecialInclusion = true; $wgHTTPTimeout = 3; /** - * Proxy to use for CURL requests. + * Servers placed behind an internal firewall may need an HTTP proxy + * to reach external resources such as remote image repositories and + * spam blacklist updates. + * + * If set, this HTTP proxy setting will be used for CURL requests. + * Currently this setting has no effect if CURL is unavailable. + * + * Include the IP or hostname and port number of the proxy, + * something like "proxy-address.example.com:8080" */ $wgHTTPProxy = false; -- 2.20.1