diff options
| author | 2019-09-17 20:28:07 +0200 | |
|---|---|---|
| committer | 2019-09-17 20:28:07 +0200 | |
| commit | 38117df976a5b8776a6df483ac7666895691b832 (patch) | |
| tree | 821a38d0f009f873909ea54687025d7c3c1daf6e /lib | |
| parent | a2ed6626c2f4e85878f775abcac897a1fd3a1f42 (diff) | |
Require PHP 5.6+
Discussion
https://github.com/FreshRSS/FreshRSS/pull/2495#issuecomment-531911473
Needed for constant arrays
https://www.php.net/manual/en/migration56.new-features.php which will be
used in https://github.com/FreshRSS/FreshRSS/pull/2522
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/lib_install.php | 2 | ||||
| -rw-r--r-- | lib/lib_rss.php | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/lib/lib_install.php b/lib/lib_install.php index 6b9b33240..17defccf6 100644 --- a/lib/lib_install.php +++ b/lib/lib_install.php @@ -6,7 +6,7 @@ Minz_Configuration::register('default_system', join_path(FRESHRSS_PATH, 'config. Minz_Configuration::register('default_user', join_path(FRESHRSS_PATH, 'config-user.default.php')); function checkRequirements($dbType = '') { - $php = version_compare(PHP_VERSION, '5.5.0') >= 0; + $php = version_compare(PHP_VERSION, '5.6.0') >= 0; $minz = file_exists(join_path(LIB_PATH, 'Minz')); $curl = extension_loaded('curl'); $pdo_mysql = extension_loaded('pdo_mysql'); diff --git a/lib/lib_rss.php b/lib/lib_rss.php index 03cfb82ad..b810e1296 100644 --- a/lib/lib_rss.php +++ b/lib/lib_rss.php @@ -1,6 +1,6 @@ <?php -if (version_compare(PHP_VERSION, '5.5.0', '<')) { - die('FreshRSS error: FreshRSS requires PHP 5.5.0+!'); +if (version_compare(PHP_VERSION, '5.6.0', '<')) { + die('FreshRSS error: FreshRSS requires PHP 5.6.0+!'); } if (!function_exists('json_decode')) { //PHP bug #63520 < PHP 7 |
