| Index: trunk/phase3/includes/Wiki.php |
| — | — | @@ -208,8 +208,8 @@ |
| 209 | 209 | throw new ErrorPageError( 'badtitle', 'badtitletext' ); |
| 210 | 210 | } |
| 211 | 211 | // Redirect loops, no title in URL, $wgUsePathInfo URLs, and URLs with a variant |
| 212 | | - } else if( $action == 'view' && !$request->wasPosted() |
| 213 | | - && ( ( !$request->getVal( 'title' ) || $title->getPrefixedDBKey() != $request->getText( 'title' ) ) ) |
| | 212 | + } else if ( $action == 'view' && !$request->wasPosted() |
| | 213 | + && ( !$request->getVal( 'title' ) || $title->getPrefixedDBKey() != $request->getText( 'title' ) ) |
| 214 | 214 | && !count( array_diff( array_keys( $request->getValues() ), array( 'action', 'title' ) ) ) ) |
| 215 | 215 | { |
| 216 | 216 | $targetUrl = $title->getFullURL(); |