summaryrefslogtreecommitdiff
path: root/maintenance/mwdoc-filter.php
diff options
context:
space:
mode:
Diffstat (limited to 'maintenance/mwdoc-filter.php')
-rw-r--r--maintenance/mwdoc-filter.php2
1 files changed, 1 insertions, 1 deletions
diff --git a/maintenance/mwdoc-filter.php b/maintenance/mwdoc-filter.php
index 6eeb48d3..c80981b5 100644
--- a/maintenance/mwdoc-filter.php
+++ b/maintenance/mwdoc-filter.php
@@ -18,6 +18,6 @@ if ( PHP_SAPI != 'cli' ) {
$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;