Merge "Set minimum PHP version to 7.2.9"

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 extensions:
+* Web server with PHP 7.2.9 or higher, plus the following extensions:
 ** ctype
 ** dom
 ** fileinfo

RELEASE-NOTES-1.34

@@ -629,7 +629,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

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",

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',
 		);
 	}