* version are hardcoded here
*/
function wfPHPVersionError( $type ) {
- $mwVersion = '1.24';
- $minimumVersionPHP = '5.3.2';
+ $mwVersion = '1.25';
+ $minimumVersionPHP = '5.3.3';
$phpVersion = PHP_VERSION;
$protocol = isset( $_SERVER['SERVER_PROTOCOL'] ) ? $_SERVER['SERVER_PROTOCOL'] : 'HTTP/1.0';
}
$encLogo = htmlspecialchars(
str_replace( '//', '/', $dirname . '/' ) .
- 'skins/common/images/mediawiki.png'
+ 'resources/assets/mediawiki.png'
);
header( "$protocol 500 MediaWiki configuration Error" );