diff options
author | Andrew Dolgov <[email protected]> | 2022-07-29 06:34:20 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2022-07-29 06:34:20 +0300 |
commit | 4aefbd628e9a0e1eac58523904ad887b0635cda3 (patch) | |
tree | 8d06b589cbe22aa3928fbc6583b2892d7fe559f4 /prefs.php | |
parent | cbf710161d19a7cefcec08f49c0d481c62374204 (diff) |
properly check for baseline required PHP version (7.4)
Diffstat (limited to 'prefs.php')
-rw-r--r-- | prefs.php | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -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()); |