summaryrefslogtreecommitdiff
path: root/maintenance
diff options
context:
space:
mode:
authorPierre Schmitz <pierre@archlinux.de>2013-03-05 09:06:02 +0100
committerPierre Schmitz <pierre@archlinux.de>2013-03-05 09:06:02 +0100
commit0edd6983ba69e8195fa7cade96eca27df9ebf237 (patch)
treee0a5a8ee7fac4c7ce9d308419d13dbca13a7a609 /maintenance
parent8ef4b96a9b23b2cfc0eed4da0d6d324da9f9da2f (diff)
Update to MediaWiki 1.20.3
Diffstat (limited to 'maintenance')
-rw-r--r--maintenance/mwdoc-filter.php4
1 files changed, 4 insertions, 0 deletions
diff --git a/maintenance/mwdoc-filter.php b/maintenance/mwdoc-filter.php
index ab05a3e2..6eeb48d3 100644
--- a/maintenance/mwdoc-filter.php
+++ b/maintenance/mwdoc-filter.php
@@ -11,6 +11,10 @@
* @file
*/
+if ( PHP_SAPI != 'cli' ) {
+ die( "This filter can only be run from the command line.\n" );
+}
+
$source = file_get_contents( $argv[1] );
$regexp = '#\@var\s+([^\s]+)([^/]+)/\s+(var|public|protected|private)\s+(\$[^\s;=]+)#';
$replac = '${2} */ ${3} ${1} ${4}';