Update required PHP version to 7.0.13

Bug: T209423
Change-Id: I66e563adb062bc132a1092d78bfd06e2210f382e

diff --git a/RELEASE-NOTES-1.31 b/RELEASE-NOTES-1.31
index 8453d90..ff50256 100644 (file)
--- a/RELEASE-NOTES-1.31
+++ b/RELEASE-NOTES-1.31
@@ -516,8 +516,8 @@ changes to languages because of Phabricator reports.
   table cells will not have this trimming behavior.
 
 == Compatibility ==
-MediaWiki 1.31 requires PHP 7.0.0 or later. Although HHVM 3.18.5 or later is
-supported, it is generally advised to use PHP 7.0.0 or later for long term
+MediaWiki 1.31 requires PHP 7.0.13 or later. Although HHVM 3.18.5 or later is
+supported, it is generally advised to use PHP 7.0.13 or later for long term
 support. MediaWiki requires that the mbstring, xml, ctype, json, iconv and
 fileinfo PHP extensions are loaded to work.
 

diff --git a/includes/PHPVersionCheck.php b/includes/PHPVersionCheck.php
index 187ec79..609b75b 100644 (file)
--- a/includes/PHPVersionCheck.php
+++ b/includes/PHPVersionCheck.php
@@ -94,7 +94,7 @@ class PHPVersionCheck {
                        'version' => PHP_VERSION,
                        'vendor' => 'the PHP Group',
                        'upstreamSupported' => '5.6.0',
-                       'minSupported' => '7.0.0',
+                       'minSupported' => '7.0.13',
                        'upgradeURL' => 'https://secure.php.net/downloads.php',
                );
        }