don't double-profile redirects

diff --git a/includes/OutputPage.php b/includes/OutputPage.php
index aea3fef..b8ab62e 100644 (file)
--- a/includes/OutputPage.php
+++ b/includes/OutputPage.php
@@ -459,7 +459,7 @@ class OutputPage {
         */
        function output() {
                global $wgUser, $wgOutputEncoding;
-               global $wgContLanguageCode, $wgDebugRedirects, $wgMimeType, $wgProfiler;
+               global $wgContLanguageCode, $wgDebugRedirects, $wgMimeType;
                global $wgJsMimeType, $wgStylePath, $wgUseAjax, $wgScriptPath, $wgServer;
 
                if( $this->mDoNothing ){
@@ -500,7 +500,6 @@ class OutputPage {
                        } else {
                                header( 'Location: '.$this->mRedirect );
                        }
-                       if ( isset( $wgProfiler ) ) { wfDebug( $wgProfiler->getOutput() ); }
                        wfProfileOut( $fname );
                        return;
                }