From 0ea2ad838b523f8a83fb2413d5ebe475e44a58a1 Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Tue, 28 Mar 2006 05:15:10 +0000
Subject: [PATCH] don't double-profile redirects

---
 includes/OutputPage.php | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/includes/OutputPage.php b/includes/OutputPage.php
index aea3fefd1d..b8ab62e09c 100644
--- 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;
 		}
-- 
2.20.1