Refresh header fix for Opera, as in r79498

diff --git a/includes/installer/WebInstallerPage.php b/includes/installer/WebInstallerPage.php
index 62fd191..ed745b7 100644 (file)
--- a/includes/installer/WebInstallerPage.php
+++ b/includes/installer/WebInstallerPage.php
@@ -1041,7 +1041,7 @@ class WebInstaller_Complete extends WebInstallerPage {
                // Pop up a dialog box, to make it difficult for the user to forget
                // to download the file
                $lsUrl = $GLOBALS['wgServer'] . $this->parent->getURL( array( 'localsettings' => 1 ) );
-               $this->parent->request->response()->header( "Refresh: 0;$lsUrl" );
+               $this->parent->request->response()->header( "Refresh: 0;url=$lsUrl" );
 
                $this->startForm();
                $this->parent->disableLinkPopups();