X-Git-Url: http://git.heureux-cyclage.org/?a=blobdiff_plain;ds=sidebyside;f=maintenance%2Fmwdoc-filter.php;h=c80981b56df251f6fe3d2cbb6d1748bcb5161a1b;hb=2700298740509a3f98a9e2cd81cfbce4f67ed114;hp=ab05a3e24c97c306d00f6a3a9734ae11e03209f3;hpb=3d60b479de50f5f914677c74f96434a8e139846e;p=lhc%2Fweb%2Fwiklou.git

diff --git a/maintenance/mwdoc-filter.php b/maintenance/mwdoc-filter.php
index ab05a3e24c..c80981b56d 100644
--- a/maintenance/mwdoc-filter.php
+++ b/maintenance/mwdoc-filter.php
@@ -11,9 +11,13 @@
  * @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}';
-$source = preg_replace($regexp, $replac, $source);
+$source = preg_replace( $regexp, $replac, $source );
 
 echo $source;