X-Git-Url: https://git.cyclocoop.org/%27.WWW_URL.%27admin/?a=blobdiff_plain;f=index.php;h=8b53e2ca8954ea0c409f48d2f8b748a8aefb5517;hb=5f249dda0ffaea1353abe6b95720354adb205b94;hp=fb415bcf5fedb84ddf7b986293d0e84c284f1054;hpb=c5d9be83f03ab3b5befb988911fd3c96b4f2c16d;p=lhc%2Fweb%2Fwiklou.git diff --git a/index.php b/index.php index fb415bcf5f..8b53e2ca89 100644 --- a/index.php +++ b/index.php @@ -40,25 +40,8 @@ // has structures (try/catch, foo()->bar(), etc etc) which throw parse errors in PHP 4. // Setup.php and ObjectCache.php have structures invalid in PHP 5.0 and 5.1, respectively. if ( !function_exists( 'version_compare' ) || version_compare( phpversion(), '5.2.3' ) < 0 ) { - $phpversion = htmlspecialchars( phpversion() ); - $errorMsg = << - MediaWiki requires PHP 5.2.3 or higher. You are running PHP $phpversion. -

- Please consider upgrading your copy of PHP. - PHP versions less than 5.3.0 are no longer supported by the PHP Group and will not receive - security or bugfix updates. -

- If for some reason you are unable to upgrade your PHP version, you will need to - download an older version - of MediaWiki from our website. See our - compatibility page - for details of which versions are compatible with prior versions of PHP. -

-ENDL; - wfDie( $errorMsg ); + require( dirname( __FILE__ ) . '/includes/PHPVersionError.php' ); + wfPHPVersionError( 'index.php' ); } # Initialise common code. This gives us access to GlobalFunctions, the AutoLoader, and @@ -72,68 +55,3 @@ if ( isset( $_SERVER['MW_COMPILED'] ) ) { $mediaWiki = new MediaWiki(); $mediaWiki->run(); - -/** - * Display something vaguely comprehensible in the event of a totally unrecoverable error. - * Does not assume access to *anything*; no globals, no autloader, no database, no localisation. - * Safe for PHP4 (and putting this here means that WebStart.php and GlobalSettings.php - * no longer need to be). - * - * Calling this function kills execution immediately. - * - * @param $errorMsg String fully-escaped HTML - */ -function wfDie( $errorMsg ){ - // Use the version set in DefaultSettings if possible, but don't rely on it - global $wgVersion, $wgLogo; - $version = isset( $wgVersion ) && $wgVersion - ? htmlspecialchars( $wgVersion ) - : ''; - - $script = $_SERVER['SCRIPT_NAME']; - $path = pathinfo( $script, PATHINFO_DIRNAME ) . '/'; - $path = str_replace( '//', '/', $path ); - - $logo = isset( $wgLogo ) && $wgLogo - ? $wgLogo - : $path . 'skins/common/images/mediawiki.png'; - $encLogo = htmlspecialchars( $logo ); - - header( $_SERVER['SERVER_PROTOCOL'] . ' 500 MediaWiki configuration Error', true, 500 ); - header( 'Content-type: text/html; charset=UTF-8' ); - // Don't cache error pages! They cause no end of trouble... - header( 'Cache-control: none' ); - header( 'Pragma: nocache' ); - - ?> - - - - MediaWiki <?php echo $version; ?> - - - - - The MediaWiki logo

MediaWiki internal error

- - -