Set minimum PHP version to 7.2.9

Bug: T234766
Change-Id: I25206df6d7bc1587c3e18b1015603b3d264017f7

diff --git a/INSTALL b/INSTALL
index 0359166..4e072d3 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -7,7 +7,7 @@ Starting with MediaWiki 1.2.0, it's possible to install and configure the wiki
 
 Required software as of MediaWiki 1.34.0:
 
-* Web server with PHP 7.2.0 or higher, plus the following extesnsions:
+* Web server with PHP 7.2.9 or higher, plus the following extensions:
 ** ctype
 ** dom
 ** fileinfo

diff --git a/RELEASE-NOTES-1.34 b/RELEASE-NOTES-1.34
index 80f1629..89db7de 100644 (file)
--- a/RELEASE-NOTES-1.34
+++ b/RELEASE-NOTES-1.34
@@ -624,7 +624,7 @@ because of Phabricator reports.
 * …
 
 == Compatibility ==
-MediaWiki 1.34 requires PHP 7.2.0 or later, and the following PHP extensions:
+MediaWiki 1.34 requires PHP 7.2.9 or later, and the following PHP extensions:
 
 * ctype
 * dom

diff --git a/composer.json b/composer.json
index e080753..e95f3a0 100644 (file)
--- a/composer.json
+++ b/composer.json
@@ -32,7 +32,7 @@
                "pear/mail": "1.4.1",
                "pear/mail_mime": "1.10.2",
                "pear/net_smtp": "1.8.1",
-               "php": ">=7.2.0",
+               "php": ">=7.2.9",
                "psr/container": "1.0.0",
                "psr/log": "1.0.2",
                "wikimedia/assert": "0.2.2",

diff --git a/includes/PHPVersionCheck.php b/includes/PHPVersionCheck.php
index fe9a69c..bf0a403 100644 (file)
--- a/includes/PHPVersionCheck.php
+++ b/includes/PHPVersionCheck.php
@@ -95,7 +95,7 @@ class PHPVersionCheck {
                        'version' => PHP_VERSION,
                        'vendor' => 'the PHP Group',
                        'upstreamSupported' => '7.1.0',
-                       'minSupported' => '7.2.0',
+                       'minSupported' => '7.2.9',
                        'upgradeURL' => 'https://www.php.net/downloads.php',
                );
        }