From 4bc7a92c566fb1b04a40d85e3f2759a117d04886 Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Sat, 10 Jul 2004 01:17:37 +0000
Subject: [PATCH] profiling operations which end in a redirect

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

diff --git a/includes/OutputPage.php b/includes/OutputPage.php
index 8007bfb55f..ac75966b70 100644
--- a/includes/OutputPage.php
+++ b/includes/OutputPage.php
@@ -307,7 +307,7 @@ class OutputPage {
 	{
 		global $wgUser, $wgLang, $wgDebugComments, $wgCookieExpiration;
 		global $wgInputEncoding, $wgOutputEncoding, $wgLanguageCode;
-		global $wgDebugRedirects, $wgMimeType;
+		global $wgDebugRedirects, $wgMimeType, $wgProfiling;
 		if( $this->mDoNothing ){
 			return;
 		}
@@ -339,6 +339,7 @@ class OutputPage {
 			} else {
 				header( "Location: {$this->mRedirect}" );
 			}
+			if ( isset( $wgProfiler ) ) { wfDebug( $wgProfiler->getOutput() ); }
 			return;
 		}
 
-- 
2.20.1