diff --git a/admin/environment.xml b/admin/environment.xml index 8b982f2c126..8c35fb6799b 100644 --- a/admin/environment.xml +++ b/admin/environment.xml @@ -1444,6 +1444,7 @@ + @@ -1587,6 +1588,7 @@ + diff --git a/lang/en/admin.php b/lang/en/admin.php index a81d721c744..accbbec50d9 100644 --- a/lang/en/admin.php +++ b/lang/en/admin.php @@ -1138,6 +1138,7 @@ $string['unsupported'] = 'Unsupported'; $string['unsupporteddbstorageengine'] = 'The database storage engine being used is no longer supported.'; $string['unsupporteddbtablerowformat'] = 'Your database has tables using Antelope as the file format. You are recommended to convert the tables to the Barracuda file format. See the documentation Administration via command line for details of a tool for converting InnoDB tables to Barracuda.'; $string['unsupportedphpversion7'] = 'PHP version 7 is not supported.'; +$string['unsupportedphpversion71'] = 'PHP version 7.1 is not supported.'; $string['unsuspenduser'] = 'Activate user account'; $string['updateaccounts'] = 'Update existing accounts'; $string['updatecomponent'] = 'Update component'; diff --git a/lib/environmentlib.php b/lib/environmentlib.php index 13de804bebc..f83e69de92f 100644 --- a/lib/environmentlib.php +++ b/lib/environmentlib.php @@ -1582,3 +1582,14 @@ function restrict_php_version(&$result, $version) { return true; } } + +/** + * Check if the current PHP version is greater than or equal to + * PHP version 7.1. + * + * @param object $result an environment_results instance + * @return bool result of version check + */ +function restrict_php_version_71(&$result) { + return restrict_php_version($result, '7.1'); +}