Minor tweak to r95521: remove outdated comment about $wgArticle

diff --git a/includes/Wiki.php b/includes/Wiki.php
index 3cdbf3e..5113a9d 100644 (file)
--- a/includes/Wiki.php
+++ b/includes/Wiki.php
@@ -149,7 +149,6 @@ class MediaWiki {
                // Invalid titles. Bug 21776: The interwikis must redirect even if the page name is empty.
                if ( is_null( $title ) || ( ( $title->getDBkey() == '' ) && ( $title->getInterwiki() == '' ) ) ) {
                        $this->context->title = SpecialPage::getTitleFor( 'Badtitle' );
-                       // Die now before we mess up $wgArticle and the skin stops working
                        throw new ErrorPageError( 'badtitle', 'badtitletext' );
                // If the user is not logged in, the Namespace:title of the article must be in
                // the Read array in order for the user to see it. (We have to check here to