From f6d65e533c62f6deb21342d4901ece24497b433e Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 4 Jun 2015 07:31:04 +0200 Subject: Update to MediaWiki 1.25.1 --- includes/PHPVersionError.php | 110 ++----------------------------------------- 1 file changed, 4 insertions(+), 106 deletions(-) (limited to 'includes/PHPVersionError.php') 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 @@ - - - - MediaWiki {$mwVersion} - - - - The MediaWiki logo -

MediaWiki {$mwVersion} internal error

-
-

- {$message} -

-

- 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. -

-
- - -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'; -- cgit v1.2.3-54-g00ecf