Follow up r75617. remove extra brackets.
authorPhilip Tzou <philip@users.mediawiki.org>
Thu, 28 Oct 2010 17:11:21 +0000 (17:11 +0000)
committerPhilip Tzou <philip@users.mediawiki.org>
Thu, 28 Oct 2010 17:11:21 +0000 (17:11 +0000)
includes/Wiki.php

index 5bbbe9f..7845f8f 100644 (file)
@@ -208,8 +208,8 @@ class MediaWiki {
                                throw new ErrorPageError( 'badtitle', 'badtitletext' );
                        }
                // Redirect loops, no title in URL, $wgUsePathInfo URLs, and URLs with a variant
-               } else if( $action == 'view' && !$request->wasPosted()
-                       && ( ( !$request->getVal( 'title' ) || $title->getPrefixedDBKey() != $request->getText( 'title' ) ) )
+               } else if ( $action == 'view' && !$request->wasPosted()
+                       && ( !$request->getVal( 'title' ) || $title->getPrefixedDBKey() != $request->getText( 'title' ) )
                        && !count( array_diff( array_keys( $request->getValues() ), array( 'action', 'title' ) ) ) )
                {
                        $targetUrl = $title->getFullURL();