9880d5b60b
This way, if someone tries to install MediaWiki via either web installer or install.php maintenance script, after obtaining from git, they get some useful information on what to do. Put the checks alongside the php version check, as stuff installed via composer (mustache / lightncandy) is used for NoLocalSettings.php and install.php attempts to use logging stuff. Also tried to make PHPVersionError look slightly nicer, with some <h2> elements and more padding for the <p> elements. and centralized this code in one place, as much as possible, for improved ease of maintenance. Bug: T90438 Bug: T88951 Change-Id: Iae4eb42c4266dbe9213c5de8a96fccfbeaa9acb0
157 lines
5.4 KiB
PHP
157 lines
5.4 KiB
PHP
<?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.26';
|
|
$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 );
|
|
}
|