| Index: trunk/phase3/includes/DefaultSettings.php |
| — | — | @@ -3707,7 +3707,7 @@ |
| 3708 | 3708 | /** Port we want to scan for a proxy */ |
| 3709 | 3709 | $wgProxyPorts = array( 80, 81, 1080, 3128, 6588, 8000, 8080, 8888, 65506 ); |
| 3710 | 3710 | /** Script used to scan */ |
| 3711 | | -$wgProxyScriptPath = "$IP/includes/proxy_check.php"; |
| | 3711 | +$wgProxyScriptPath = "$IP/maintenance/proxy_check.php"; |
| 3712 | 3712 | /** */ |
| 3713 | 3713 | $wgProxyMemcExpiry = 86400; |
| 3714 | 3714 | /** This should always be customised in LocalSettings.php */ |