Bump minimum supported version to 5.1.0

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index f35e83b..3c6147a 100644 (file)
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -867,11 +867,7 @@ changes to languages because of MediaZilla reports.
 
 == Compatibility ==
 
-MediaWiki 1.16 requires PHP 5 (5.2 recommended). PHP 4 is no longer supported.
-
-PHP 5.0.x fails on 64-bit systems due to serious bugs with array processing:
-http://bugs.php.net/bug.php?id=34879
-Upgrade affected systems to PHP 5.1 or higher.
+MediaWiki 1.16 requires PHP 5.1 (5.2 recommended). PHP 4 is no longer supported.
 
 MySQL 3.23.x is no longer supported; some older hosts may need to upgrade.
 At this time we still recommend 4.0, but 4.1/5.0 will work fine in most cases.

diff --git a/maintenance/install-utils.inc b/maintenance/install-utils.inc
index bb2cac3..42aeefa 100644 (file)
--- a/maintenance/install-utils.inc
+++ b/maintenance/install-utils.inc
@@ -14,11 +14,11 @@ function install_version_checks() {
 
        if( !function_exists( 'version_compare' ) ) {
                # version_compare was introduced in 4.1.0
-               echo "Your PHP version is much too old; 4.0.x will _not_ work. 5.0.0 or higher is required. ABORTING.\n";
+               echo "Your PHP version is much too old; 4.0.x will _not_ work. 5.1.0 or higher is required. ABORTING.\n";
                die( 1 );
        }
-       if( version_compare( phpversion(), '5.0.0' ) < 0 ) {
-               echo "PHP 5.0.0 or higher is required. If PHP 5 is available only when \n".
+       if( version_compare( phpversion(), '5.1.0' ) < 0 ) {
+               echo "PHP 5.1.0 or higher is required. If PHP 5 is available only when \n".
    "PHP files have a .php5 extension, please navigate to <a href=\"index.php5\">index.php5</a> \n".
    "to continue installation. ABORTING.\n";
                die( 1 );