Refresh header fix for Opera, as in r79498
authorTim Starling <tstarling@users.mediawiki.org>
Mon, 3 Jan 2011 02:05:10 +0000 (02:05 +0000)
committerTim Starling <tstarling@users.mediawiki.org>
Mon, 3 Jan 2011 02:05:10 +0000 (02:05 +0000)
commit56163528c8b7841a3f0ae33ba04d3244b922d529
treeed7a42e9ce1140d51fce77d0bb066eb6ccb52731
parent536d5f05c2cd9da3582812046d8b579910ac811a
Refresh header fix for Opera, as in r79498
includes/installer/WebInstallerPage.php