diff options
Diffstat (limited to 'constants.php')
| -rw-r--r-- | constants.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/constants.php b/constants.php index 2b4f563c9..8e9d76160 100644 --- a/constants.php +++ b/constants.php @@ -35,6 +35,10 @@ const CORE_EXTENSIONS_PATH = LIB_PATH . '/core-extensions'; const TESTS_PATH = FRESHRSS_PATH . '/tests'; //</Not customisable> +if (version_compare(PHP_VERSION, FRESHRSS_MIN_PHP_VERSION, '<')) { + die(sprintf('Error: FreshRSS requires PHP %s+ but was invoked with PHP %s!', FRESHRSS_MIN_PHP_VERSION, PHP_VERSION)); +} + if (file_exists(__DIR__ . '/constants.local.php')) { //Include custom / local settings: include(__DIR__ . '/constants.local.php'); |