Update both the MediaWiki version and the min required PHP version in PHPVersionError.php

Change-Id: Ia7db1c90854b30aee17cc180381fdd9dc2f9c90b
This commit is contained in:
Reedy 2012-05-04 20:08:23 +01:00
parent f963ec0cea
commit 144c8a5f99

View file

@ -17,9 +17,9 @@
* version are hardcoded here
*/
function wfPHPVersionError( $type ){
$mwVersion = '1.19';
$mwVersion = '1.20';
$phpVersion = PHP_VERSION;
$message = "MediaWiki $mwVersion requires at least PHP version 5.2.3, you are using PHP $phpVersion.";
$message = "MediaWiki $mwVersion requires at least PHP version 5.3.2, you are using PHP $phpVersion.";
if( $type == 'index.php' ) {
$encLogo = htmlspecialchars(
str_replace( '//', '/', pathinfo( $_SERVER['SCRIPT_NAME'], PATHINFO_DIRNAME ) . '/'