From 2808a0d43f6174576dfbea99abe0d1eb36d97356 Mon Sep 17 00:00:00 2001 From: Philip Tzou Date: Thu, 28 Oct 2010 17:11:21 +0000 Subject: [PATCH] Follow up r75617. remove extra brackets. --- includes/Wiki.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/includes/Wiki.php b/includes/Wiki.php index 5bbbe9f466..7845f8ff0c 100644 --- a/includes/Wiki.php +++ b/includes/Wiki.php @@ -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(); -- 2.20.1