profile out

diff --git a/includes/Wiki.php b/includes/Wiki.php
index fa49290..b8d86b2 100644 (file)
--- 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" );
                        }
                }