From 2b5c51f17702e0aadcd84e1f7380187cce87bd8a Mon Sep 17 00:00:00 2001
From: Aaron Schulz <aaron@users.mediawiki.org>
Date: Wed, 23 Sep 2009 00:34:57 +0000
Subject: [PATCH] missing wfProfileOut() calls

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

diff --git a/includes/Wiki.php b/includes/Wiki.php
index 6ecbc39eba..6b8215e146 100644
--- a/includes/Wiki.php
+++ b/includes/Wiki.php
@@ -197,6 +197,7 @@ class MediaWiki {
 				$output->redirect( $url );
 			} else {
 				$title = SpecialPage::getTitleFor( 'Badtitle' );
+				wfProfileOut( __METHOD__ );
 				throw new ErrorPageError( 'badtitle', 'badtitletext' );
 			}
 		} else if( $action == 'view' && !$request->wasPosted() &&
@@ -226,6 +227,7 @@ class MediaWiki {
 						"to true.";
 				}
 				wfHttpError( 500, "Internal error", $message );
+				wfProfileOut( __METHOD__ );
 				return false;
 			} else {
 				$output->setSquidMaxage( 1200 );
@@ -318,6 +320,7 @@ class MediaWiki {
 				if( is_string( $target ) ) {
 					if( !$this->getVal( 'DisableHardRedirects' ) ) {
 						// we'll need to redirect
+						wfProfileOut( __METHOD__ );
 						return $target;
 					}
 				}
-- 
2.20.1