properly check for baseline required PHP version (7.4)

1 files changed, 7 insertions, 0 deletions

diff --git a/prefs.php b/prefs.php
index 84d89f914..36641e0f3 100644
--- a/prefs.php
+++ b/prefs.php
@@ -1,4 +1,11 @@
 <?php
+	// we need a separate check here because functions.php might get parsed
+	// incorrectly before 5.3 because of :: syntax.
+	if (version_compare(PHP_VERSION, '7.4.0', '<')) {
+		print "<b>Fatal Error</b>: PHP version 7.4.0 or newer required. You're using " . PHP_VERSION . ".\n";
+		exit;
+	}
+
 	set_include_path(__DIR__ ."/include" . PATH_SEPARATOR .
 		get_include_path());