From: Tim Starling <tstarling@users.mediawiki.org>
Date: Mon, 3 Jan 2011 02:05:10 +0000 (+0000)
Subject: Refresh header fix for Opera, as in r79498
X-Git-Tag: 1.31.0-rc.0~32872
X-Git-Url: http://git.cyclocoop.org/%7B%7B%20url_for%28%27admin_vote_add%27%29%20%7D%7D?a=commitdiff_plain;h=56163528c8b7841a3f0ae33ba04d3244b922d529;p=lhc%2Fweb%2Fwiklou.git

Refresh header fix for Opera, as in r79498
---

diff --git a/includes/installer/WebInstallerPage.php b/includes/installer/WebInstallerPage.php
index 62fd1917f5..ed745b76eb 100644
--- 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();