Spacing
authorPlatonides <platonides@users.mediawiki.org>
Thu, 13 Jan 2011 17:43:45 +0000 (17:43 +0000)
committerPlatonides <platonides@users.mediawiki.org>
Thu, 13 Jan 2011 17:43:45 +0000 (17:43 +0000)
maintenance/compareParsers.php

index 9f7ec19..87d00c6 100644 (file)
@@ -166,7 +166,7 @@ class CompareParsers extends Maintenance {
                        $this->failed++;
                        $this->error( "Parsing for {$title->getPrefixedText()} differs\n" );
                        
-                       if ($this->saveFailed) {
+                       if ( $this->saveFailed ) {
                                file_put_contents( $this->saveFailed . '/' . rawurlencode( $title->getPrefixedText() ) . ".txt", $rev->getText());
                        }
                        if ( $this->showDiff ) {