| Index: trunk/phase3/includes/OutputPage.php |
| — | — | @@ -798,13 +798,16 @@ |
| 799 | 799 | * the object, let's actually output it: |
| 800 | 800 | */ |
| 801 | 801 | public function output() { |
| 802 | | - if( $this->mDoNothing ) return; |
| 803 | 802 | global $wgUser, $wgOutputEncoding, $wgRequest; |
| 804 | 803 | global $wgContLanguageCode, $wgDebugRedirects, $wgMimeType; |
| 805 | 804 | global $wgJsMimeType, $wgUseAjax, $wgAjaxWatch; |
| 806 | 805 | global $wgEnableMWSuggest, $wgUniversalEditButton; |
| 807 | 806 | global $wgArticle, $wgTitle; |
| 808 | 807 | |
| | 808 | + if( $this->mDoNothing ){ |
| | 809 | + return; |
| | 810 | + } |
| | 811 | + |
| 809 | 812 | wfProfileIn( __METHOD__ ); |
| 810 | 813 | |
| 811 | 814 | if ( '' != $this->mRedirect ) { |