diff options
| author | 2025-12-21 19:26:08 +0100 | |
|---|---|---|
| committer | 2025-12-21 19:26:08 +0100 | |
| commit | 1a3912f25a27c8d78aacbbee98f6056f4ad47f1a (patch) | |
| tree | 90fe6bd955535aed22152fc3a41a51a4958f4d4d /constants.php | |
| parent | 672411ca7053345634a63dd3eabed75baf93043f (diff) | |
Improve configuration checks (#8334)
Add a distinction between recommended and required extensions.
Add check for recommended php-intl extension as follow-up of https://github.com/FreshRSS/FreshRSS/pull/8329#issuecomment-3677686581
Improve related checks such as ZIP.
Reduce duplicated translations and tests.
Diffstat (limited to 'constants.php')
| -rw-r--r-- | constants.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/constants.php b/constants.php index 6578b3b59..884f67c28 100644 --- a/constants.php +++ b/constants.php @@ -36,7 +36,7 @@ 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)); + die(sprintf("Error: FreshRSS requires PHP %s+ but was invoked with PHP %s!\n", FRESHRSS_MIN_PHP_VERSION, PHP_VERSION)); } if (file_exists(__DIR__ . '/constants.local.php')) { |
