Followup r65037, do the same for the other route of badtitle

diff --git a/includes/Wiki.php b/includes/Wiki.php
index cb0ef8b..cb14e5c 100644 (file)
--- a/includes/Wiki.php
+++ b/includes/Wiki.php
@@ -190,6 +190,7 @@ 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() == '') ) ) {
                        $title = SpecialPage::getTitleFor( 'Badtitle' );
+                       $output->setTitle( $title ); // bug 21456
                        # Die now before we mess up $wgArticle and the skin stops working
                        throw new ErrorPageError( 'badtitle', 'badtitletext' );