aboutsummaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Alexandre Alapetite <alexandre@alapetite.fr> 2019-09-17 20:28:07 +0200
committerGravatar Alexandre Alapetite <alexandre@alapetite.fr> 2019-09-17 20:28:07 +0200
commit38117df976a5b8776a6df483ac7666895691b832 (patch)
tree821a38d0f009f873909ea54687025d7c3c1daf6e /lib
parenta2ed6626c2f4e85878f775abcac897a1fd3a1f42 (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.php2
-rw-r--r--lib/lib_rss.php4
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