diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2011-06-22 11:28:20 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2011-06-22 11:28:20 +0200 |
| commit | 9db190c7e736ec8d063187d4241b59feaf7dc2d1 (patch) | |
| tree | 46d1a0dee7febef5c2d57a9f7b972be16a163b3d /includes/proxy_check.php | |
| parent | 78677c7bbdcc9739f6c10c75935898a20e1acd9e (diff) | |
update to MediaWiki 1.17.0
Diffstat (limited to 'includes/proxy_check.php')
| -rw-r--r-- | includes/proxy_check.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/includes/proxy_check.php b/includes/proxy_check.php index 61995fea..2bc46c0d 100644 --- a/includes/proxy_check.php +++ b/includes/proxy_check.php @@ -1,6 +1,8 @@ <?php /** * Command line script to check for an open proxy at a specified location + * + * @file */ if( php_sapi_name() != 'cli' ) { |