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