From 56163528c8b7841a3f0ae33ba04d3244b922d529 Mon Sep 17 00:00:00 2001 From: Tim Starling Date: Mon, 3 Jan 2011 02:05:10 +0000 Subject: [PATCH] Refresh header fix for Opera, as in r79498 --- includes/installer/WebInstallerPage.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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(); -- 2.20.1