Require PHP >= 5.3.3

Bug: T839
Change-Id: Iac827ef8505ff0653a40e45d759b0f79619351ee
This commit is contained in:
Kunal Mehta 2014-10-23 18:21:50 -07:00
parent 4d01396b3a
commit 0e17070d40
12 changed files with 13 additions and 13 deletions

View file

@ -6,7 +6,7 @@ Starting with MediaWiki 1.2.0, it's possible to install and configure the wiki
"in-place", as long as you have the necessary prerequisites available.
Required software:
* Web server with PHP 5.3.2 or higher.
* Web server with PHP 5.3.3 or higher.
* A SQL server, the following types are supported
** MySQL 5.0.2 or higher
** PostgreSQL 8.3 or higher

View file

@ -149,7 +149,7 @@ changes to languages because of Bugzilla reports.
== Compatibility ==
MediaWiki 1.25 requires PHP 5.3.2 or later. There is experimental support for
MediaWiki 1.25 requires PHP 5.3.3 or later. There is experimental support for
HHVM 3.3.0.
MySQL is the recommended DBMS. PostgreSQL or SQLite can also be used, but

View file

@ -34,7 +34,7 @@
define( 'MW_API', true );
// Bail if PHP is too low
if ( !function_exists( 'version_compare' ) || version_compare( PHP_VERSION, '5.3.2' ) < 0 ) {
if ( !function_exists( 'version_compare' ) || version_compare( PHP_VERSION, '5.3.3' ) < 0 ) {
// We need to use dirname( __FILE__ ) here cause __DIR__ is PHP5.3+
require dirname( __FILE__ ) . '/includes/PHPVersionError.php';
wfPHPVersionError( 'api.php' );

View file

@ -16,7 +16,7 @@
"wiki": "https://www.mediawiki.org/"
},
"require": {
"php": ">=5.3.2",
"php": ">=5.3.3",
"psr/log": "1.0.0"
},
"require-dev": {

View file

@ -30,7 +30,7 @@ if ( !defined( 'MEDIAWIKI' ) ) {
/**
* Compatibility functions
*
* We support PHP 5.3.2 and up.
* We support PHP 5.3.3 and up.
* Re-implementations of newer functions or functions in non-standard
* PHP extensions may be included here.
*/

View file

@ -40,7 +40,7 @@
*/
function wfPHPVersionError( $type ) {
$mwVersion = '1.25';
$minimumVersionPHP = '5.3.2';
$minimumVersionPHP = '5.3.3';
$phpVersion = PHP_VERSION;
$protocol = isset( $_SERVER['SERVER_PROTOCOL'] ) ? $_SERVER['SERVER_PROTOCOL'] : 'HTTP/1.0';

View file

@ -191,7 +191,7 @@ class MWLoggerLegacyLogger extends \Psr\Log\AbstractLogger {
}
// Workaround for https://bugs.php.net/bug.php?id=52063
// Can be removed when min PHP > 5.3.2
// Can be removed when min PHP > 5.3.6
if ( $cachedTimezone === null ) {
$d = date_create( 'now' );
} else {

View file

@ -34,7 +34,7 @@
# has structures (try/catch, foo()->bar(), etc etc) which throw parse errors in
# PHP 4. Setup.php and ObjectCache.php have structures invalid in PHP 5.0 and
# 5.1, respectively.
if ( !function_exists( 'version_compare' ) || version_compare( PHP_VERSION, '5.3.2' ) < 0 ) {
if ( !function_exists( 'version_compare' ) || version_compare( PHP_VERSION, '5.3.3' ) < 0 ) {
// We need to use dirname( __FILE__ ) here cause __DIR__ is PHP5.3+
require dirname( __FILE__ ) . '/includes/PHPVersionError.php';
wfPHPVersionError( 'index.php' );

View file

@ -23,7 +23,7 @@
*/
// Bail if PHP is too low
if ( !function_exists( 'version_compare' ) || version_compare( PHP_VERSION, '5.3.2' ) < 0 ) {
if ( !function_exists( 'version_compare' ) || version_compare( PHP_VERSION, '5.3.3' ) < 0 ) {
// We need to use dirname( __FILE__ ) here cause __DIR__ is PHP5.3+
require dirname( __FILE__ ) . '/includes/PHPVersionError.php';
wfPHPVersionError( 'load.php' );

View file

@ -20,8 +20,8 @@
* @defgroup Maintenance Maintenance
*/
// Make sure we're on PHP5.3.2 or better
if ( !function_exists( 'version_compare' ) || version_compare( PHP_VERSION, '5.3.2' ) < 0 ) {
// Make sure we're on PHP5.3.3 or better
if ( !function_exists( 'version_compare' ) || version_compare( PHP_VERSION, '5.3.3' ) < 0 ) {
// We need to use dirname( __FILE__ ) here cause __DIR__ is PHP5.3+
require_once dirname( __FILE__ ) . '/../includes/PHPVersionError.php';
wfPHPVersionError( 'cli' );

View file

@ -26,7 +26,7 @@
* @ingroup Maintenance
*/
if ( !function_exists( 'version_compare' ) || ( version_compare( PHP_VERSION, '5.3.2' ) < 0 ) ) {
if ( !function_exists( 'version_compare' ) || ( version_compare( PHP_VERSION, '5.3.3' ) < 0 ) ) {
require dirname( __FILE__ ) . '/../includes/PHPVersionError.php';
wfPHPVersionError( 'cli' );
}

View file

@ -21,7 +21,7 @@
*/
// Bail if PHP is too low
if ( !function_exists( 'version_compare' ) || version_compare( PHP_VERSION, '5.3.2' ) < 0 ) {
if ( !function_exists( 'version_compare' ) || version_compare( PHP_VERSION, '5.3.3' ) < 0 ) {
// We need to use dirname( __FILE__ ) here cause __DIR__ is PHP5.3+
require dirname( dirname( __FILE__ ) ) . '/includes/PHPVersionError.php';
wfPHPVersionError( 'mw-config/index.php' );