From 6046a49b62c1d01f0117d9c5543795c236c4df11 Mon Sep 17 00:00:00 2001 From: Reedy Date: Mon, 2 Mar 2020 00:57:30 +0000 Subject: [PATCH] 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 --- includes/PHPVersionCheck.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/PHPVersionCheck.php b/includes/PHPVersionCheck.php index bf0a4036bf..c99e8c6627 100644 --- 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', ); -- 2.20.1