diff --git a/admin/environment.xml b/admin/environment.xml
index 032b8d7a8d5..f8c560b4a1c 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 b0c7b2f74ba..83bafb78fdf 100644
--- a/lang/en/admin.php
+++ b/lang/en/admin.php
@@ -1073,6 +1073,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 cd251675d1b..45b43609a78 100644
--- a/lib/environmentlib.php
+++ b/lib/environmentlib.php
@@ -1572,3 +1572,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');
+}