From 52045072828bedbb8aa63f41bb56a70950d3c8ef Mon Sep 17 00:00:00 2001
From: Aaron Schulz <aaron@users.mediawiki.org>
Date: Mon, 18 Aug 2008 05:50:03 +0000
Subject: [PATCH] profile out

---
 includes/Wiki.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/includes/Wiki.php b/includes/Wiki.php
index fa49290abb..b8d86b2dd0 100644
--- a/includes/Wiki.php
+++ b/includes/Wiki.php
@@ -60,6 +60,7 @@ class MediaWiki {
 			} elseif( is_string( $new_article ) ) {
 				$output->redirect( $new_article );
 			} else {
+				wfProfileOut( __METHOD__ );
 				throw new MWException( "Shouldn't happen: MediaWiki::initializeArticle() returned neither an object nor a URL" );
 			}
 		}
-- 
2.20.1