The PHP Group stopped supporting 7.1 in late 2019

As per https://www.php.net/eol.php 7.1 was EOL and therefore
unsupported since 1 December 2019.

Change-Id: I2f6e307457365f0adf1b727b4fff9ed19c685b4f

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