3 * Display something vaguely comprehensible in the event of a totally unrecoverable error.
5 * This program is free software; you can redistribute it and/or modify
6 * it under the terms of the GNU General Public License as published by
7 * the Free Software Foundation; either version 2 of the License, or
8 * (at your option) any later version.
10 * This program is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 * GNU General Public License for more details.
15 * You should have received a copy of the GNU General Public License along
16 * with this program; if not, write to the Free Software Foundation, Inc.,
17 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
18 * http://www.gnu.org/copyleft/gpl.html
24 * Display something vaguely comprehensible in the event of a totally unrecoverable error.
25 * Does not assume access to *anything*; no globals, no autoloader, no database, no localisation.
26 * Safe for PHP4 (and putting this here means that WebStart.php and GlobalSettings.php
27 * no longer need to be).
29 * Calling this function kills execution immediately.
31 * @param string $type Which entry point we are protecting. One of:
35 * - mw-config/index.php
38 * @note Since we can't rely on anything, the minimum PHP versions and MW current
39 * version are hardcoded here
41 function wfPHPVersionError( $type ) {
43 $minimumVersionPHP = '5.3.2';
45 $phpVersion = PHP_VERSION
;
46 $protocol = isset( $_SERVER['SERVER_PROTOCOL'] ) ?
$_SERVER['SERVER_PROTOCOL'] : 'HTTP/1.0';
47 $message = "MediaWiki $mwVersion requires at least "
48 . "PHP version $minimumVersionPHP, you are using PHP $phpVersion.";
50 if ( $type == 'cli' ) {
51 $finalOutput = "You are using PHP version $phpVersion "
52 . "but MediaWiki $mwVersion needs PHP $minimumVersionPHP or higher. ABORTING.\n"
53 . "Check if you have a newer php executable with a different name, such as php5.\n";
54 } elseif ( $type == 'index.php' ||
$type == 'mw-config/index.php' ) {
55 $pathinfo = pathinfo( $_SERVER['SCRIPT_NAME'] );
56 if ( $type == 'mw-config/index.php' ) {
57 $dirname = dirname( $pathinfo['dirname'] );
59 $dirname = $pathinfo['dirname'];
61 $encLogo = htmlspecialchars(
62 str_replace( '//', '/', $dirname . '/' ) .
63 'assets/mediawiki.png'
66 header( "$protocol 500 MediaWiki configuration Error" );
67 header( 'Content-type: text/html; charset=UTF-8' );
68 // Don't cache error pages! They cause no end of trouble...
69 header( 'Cache-control: none' );
70 header( 'Pragma: no-cache' );
72 $finalOutput = <<<HTML
74 <html lang="en" dir="ltr">
76 <meta charset="UTF-8" />
77 <title>MediaWiki {$mwVersion}</title>
78 <style media='screen'>
81 background-color: #fff;
82 font-family: sans-serif;
96 <img src="{$encLogo}" alt='The MediaWiki logo' />
97 <h1>MediaWiki {$mwVersion} internal error</h1>
103 Please consider <a href="http://www.php.net/downloads.php">upgrading your copy of PHP</a>.
104 PHP versions less than 5.3.0 are no longer supported by the PHP Group and will not receive
105 security or bugfix updates.
108 If for some reason you are unable to upgrade your PHP version, you will need to
109 <a href="https://www.mediawiki.org/wiki/Download">download</a> an older version
110 of MediaWiki from our website. See our
111 <a href="https://www.mediawiki.org/wiki/Compatibility#PHP">compatibility page</a>
112 for details of which versions are compatible with prior versions of PHP.
118 // Handle everything that's not index.php
120 // So nothing thinks this is JS or CSS
121 $finalOutput = ( $type == 'load.php' ) ?
"/* $message */" : $message;
122 header( "$protocol 500 MediaWiki configuration Error" );
124 echo "$finalOutput\n";