diff options
Diffstat (limited to 'includes/PHPVersionError.php')
| -rw-r--r-- | includes/PHPVersionError.php | 110 |
1 files changed, 4 insertions, 106 deletions
diff --git a/includes/PHPVersionError.php b/includes/PHPVersionError.php index f481650c..007ea894 100644 --- a/includes/PHPVersionError.php +++ b/includes/PHPVersionError.php @@ -1,6 +1,7 @@ <?php /** - * Display something vaguely comprehensible in the event of a totally unrecoverable error. + * Backwards compatibility. The PHP version error function is now + * included in PHPVersionCheck.php. * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by @@ -17,110 +18,7 @@ * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. * http://www.gnu.org/copyleft/gpl.html * + * @deprecated 1.25 * @file */ - -/** - * Display something vaguely comprehensible in the event of a totally unrecoverable error. - * Does not assume access to *anything*; no globals, no autoloader, 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 string $type Which entry point we are protecting. One of: - * - index.php - * - load.php - * - api.php - * - mw-config/index.php - * - cli - * - * @note Since we can't rely on anything, the minimum PHP versions and MW current - * version are hardcoded here - */ -function wfPHPVersionError( $type ) { - $mwVersion = '1.24'; - $minimumVersionPHP = '5.3.2'; - - $phpVersion = PHP_VERSION; - $protocol = isset( $_SERVER['SERVER_PROTOCOL'] ) ? $_SERVER['SERVER_PROTOCOL'] : 'HTTP/1.0'; - $message = "MediaWiki $mwVersion requires at least " - . "PHP version $minimumVersionPHP, you are using PHP $phpVersion."; - - if ( $type == 'cli' ) { - $finalOutput = "You are using PHP version $phpVersion " - . "but MediaWiki $mwVersion needs PHP $minimumVersionPHP or higher. ABORTING.\n" - . "Check if you have a newer php executable with a different name, such as php5.\n"; - } elseif ( $type == 'index.php' || $type == 'mw-config/index.php' ) { - $pathinfo = pathinfo( $_SERVER['SCRIPT_NAME'] ); - if ( $type == 'mw-config/index.php' ) { - $dirname = dirname( $pathinfo['dirname'] ); - } else { - $dirname = $pathinfo['dirname']; - } - $encLogo = htmlspecialchars( - str_replace( '//', '/', $dirname . '/' ) . - 'resources/assets/mediawiki.png' - ); - - header( "$protocol 500 MediaWiki configuration Error" ); - 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: no-cache' ); - - $finalOutput = <<<HTML -<!DOCTYPE html> -<html lang="en" dir="ltr"> - <head> - <meta charset="UTF-8" /> - <title>MediaWiki {$mwVersion}</title> - <style media='screen'> - body { - color: #000; - background-color: #fff; - font-family: sans-serif; - padding: 2em; - text-align: center; - } - p, img, h1 { - text-align: left; - margin: 0.5em 0; - } - h1 { - font-size: 120%; - } - </style> - </head> - <body> - <img src="{$encLogo}" alt='The MediaWiki logo' /> - <h1>MediaWiki {$mwVersion} internal error</h1> - <div class='error'> - <p> - {$message} - </p> - <p> - Please consider <a href="http://www.php.net/downloads.php">upgrading your copy of PHP</a>. - PHP versions less than 5.3.0 are no longer supported by the PHP Group and will not receive - security or bugfix updates. - </p> - <p> - If for some reason you are unable to upgrade your PHP version, you will need to - <a href="https://www.mediawiki.org/wiki/Download">download</a> an older version - of MediaWiki from our website. See our - <a href="https://www.mediawiki.org/wiki/Compatibility#PHP">compatibility page</a> - for details of which versions are compatible with prior versions of PHP. - </p> - </div> - </body> -</html> -HTML; - // Handle everything that's not index.php - } else { - // So nothing thinks this is JS or CSS - $finalOutput = ( $type == 'load.php' ) ? "/* $message */" : $message; - header( "$protocol 500 MediaWiki configuration Error" ); - } - echo "$finalOutput\n"; - die( 1 ); -} +require_once dirname( __FILE__ ) . '/PHPVersionCheck.php'; |