Put MediaWiki navigation in the Wikipedia namespace

diff --git a/maintenance/InitialiseMessages.inc b/maintenance/InitialiseMessages.inc
index b28b335..849c9ec 100755 (executable)
--- a/maintenance/InitialiseMessages.inc
+++ b/maintenance/InitialiseMessages.inc
@@ -157,7 +157,7 @@ $message
 
        $navText .= "</table>";
        $title = wfMsgNoDB( "allmessages" );
-       $titleObj = Title::makeTitle( NS_MEDIAWIKI, $title );
+       $titleObj = Title::makeTitle( NS_WIKIPEDIA, $title );
        $wgArticle = new Article( $titleObj );
        $wgOut->disable();
        $wgUser = User::newFromName( 'MediaWiki default' );