From: Reedy <reedy@wikimedia.org>
Date: Thu, 10 Oct 2019 20:25:58 +0000 (+0100)
Subject: Set minimum PHP version to 7.2.9
X-Git-Tag: 1.34.0-rc.0~10
X-Git-Url: https://git.heureux-cyclage.org/?p=lhc%2Fweb%2Fwiklou.git;a=commitdiff_plain;h=dbba623b8bf23119add41931ed858a1fe489aa57

Set minimum PHP version to 7.2.9

Bug: T234766
Change-Id: I25206df6d7bc1587c3e18b1015603b3d264017f7
---

diff --git a/INSTALL b/INSTALL
index 0359166d22..4e072d396e 100644
--- 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 80f16294fb..89db7de944 100644
--- 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 e08075345d..e95f3a0783 100644
--- 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 fe9a69c5d8..bf0a4036bf 100644
--- 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',
 		);
 	}