diff options
| author | 2019-09-18 16:41:32 +0200 | |
|---|---|---|
| committer | 2019-09-18 16:41:32 +0200 | |
| commit | a8bbcef551e5b93ac1c349cb3d4a754a5c67126c (patch) | |
| tree | bec3a67138e8b927bb5762eab98aa4b82b2cfad4 /lib | |
| parent | 28ab89146be497a5018c217f198103eb9cfddd8b (diff) | |
| parent | 87e20ea29069329eb916a8db90bbdd0357a7dbef (diff) | |
Merge pull request #2527 from Alkarex/php5.6
Require PHP 5.6+
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 |
