diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2015-06-04 07:31:04 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2015-06-04 07:58:39 +0200 |
| commit | f6d65e533c62f6deb21342d4901ece24497b433e (patch) | |
| tree | f28adf0362d14bcd448f7b65a7aaf38650f923aa /includes/PHPVersionCheck.php | |
| parent | c27b2e832fe25651ef2410fae85b41072aae7519 (diff) | |
Update to MediaWiki 1.25.1
Diffstat (limited to 'includes/PHPVersionCheck.php')
| -rw-r--r-- | includes/PHPVersionCheck.php | 157 |
1 files changed, 157 insertions, 0 deletions
diff --git a/includes/PHPVersionCheck.php b/includes/PHPVersionCheck.php new file mode 100644 index 00000000..eee9aa9c --- /dev/null +++ b/includes/PHPVersionCheck.php @@ -0,0 +1,157 @@ +<?php +/** + * Check PHP Version, as well as for composer dependencies in entry points, + * and display something vaguely comprehensible in the event of a totally + * unrecoverable error. + * + * 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 + * the Free Software Foundation; either version 2 of the License, or + * (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License along + * with this program; if not, write to the Free Software Foundation, Inc., + * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. + * http://www.gnu.org/copyleft/gpl.html + * + * @file + */ + +/** + * Check php version and that external dependencies are installed, and + * display an informative error if either condition is not satisfied. + */ +function wfEntryPointCheck( $entryPoint ) { + if ( !function_exists( 'version_compare' ) + || version_compare( PHP_VERSION, '5.3.3' ) < 0 + || !file_exists( dirname( __FILE__ ) . '/../vendor/autoload.php' ) + ) { + wfPHPVersionError( $entryPoint ); + } +} + +/** + * 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.25'; + $minimumVersionPHP = '5.3.3'; + + $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. Installing some " + . " external dependencies (e.g. via composer) is also required."; + + if ( $type == 'cli' ) { + $finalOutput = "Error: You are missing some external dependencies or are using on older PHP version. \n" + . "MediaWiki $mwVersion needs PHP $minimumVersionPHP or higher.\n\n" + . "Check if you have a newer php executable with a different name, such as php5.\n\n" + . "MediaWiki now also has some external dependencies that need to be installed\n" + . "via composer or from a separate git repo. Please see\n" + . "https://www.mediawiki.org/wiki/Download_from_Git#Fetch_external_libraries\n" + . "for help on installing the required components."; + } 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, h2 { + text-align: left; + margin: 0.5em 0 1em; + } + h1 { + font-size: 120%; + } + h2 { + font-size: 110%; + } + </style> + </head> + <body> + <img src="{$encLogo}" alt='The MediaWiki logo' /> + <h1>MediaWiki {$mwVersion} internal error</h1> + <div class='error'> + <p> + {$message} + </p> + <h2>Supported PHP versions</h2> + <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> + <h2>External dependencies</h2> + <p> + MediaWiki now also has some external dependencies that need to be installed via + composer or from a separate git repo. Please see + <a href="https://www.mediawiki.org/wiki/Download_from_Git#Fetch_external_libraries">mediawiki.org</a> + for help on installing the required components. + </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 ); +} |