summaryrefslogtreecommitdiff
path: root/prefs.php
diff options
context:
space:
mode:
Diffstat (limited to 'prefs.php')
-rw-r--r--prefs.php7
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());