diff options
Diffstat (limited to 'maintenance/mwdoc-filter.php')
| -rw-r--r-- | maintenance/mwdoc-filter.php | 4 |
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}'; |