| Index: trunk/extensions/MobileFrontend/MobileFrontend.php |
| — | — | @@ -422,8 +422,9 @@ |
| 423 | 423 | } |
| 424 | 424 | |
| 425 | 425 | public function beforePageRedirect( $out, &$redirect, &$code ) { |
| | 426 | + global $wgMobileDomain; |
| | 427 | + wfProfileIn( __METHOD__ ); |
| 426 | 428 | if ( $out->getTitle()->isSpecial( 'Userlogin' ) ) { |
| 427 | | - global $wgMobileDomain; |
| 428 | 429 | $xDevice = isset( $_SERVER['HTTP_X_DEVICE'] ) ? $_SERVER['HTTP_X_DEVICE'] : ''; |
| 429 | 430 | if ( $xDevice ) { |
| 430 | 431 | $parsedUrl = wfParseUrl( $redirect ); |
| — | — | @@ -445,6 +446,7 @@ |
| 446 | 447 | } |
| 447 | 448 | } |
| 448 | 449 | } |
| | 450 | + wfProfileOut( __METHOD__ ); |
| 449 | 451 | return true; |
| 450 | 452 | } |
| 451 | 453 | |