diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2017-08-24 18:15:21 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2017-08-24 18:15:21 +0200 |
| commit | 2916637a701f387f9ac9f0ee4632d2cea9169e46 (patch) | |
| tree | 60b85a8d2a82bedeeb19b253e10c5a40135b40fd /lib/lib_rss.php | |
| parent | a41b7d8b70e733e85235983f84898587b5cd749f (diff) | |
| parent | 306ec7c86ba65aeeaa926eb2f1c19361b9adc408 (diff) | |
Merge pull request #1618 from Alkarex/php_5.3.8
Increase minimal support to PHP 5.3.8+
Diffstat (limited to 'lib/lib_rss.php')
| -rw-r--r-- | lib/lib_rss.php | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/lib_rss.php b/lib/lib_rss.php index 22136854e..dcce8a02c 100644 --- a/lib/lib_rss.php +++ b/lib/lib_rss.php @@ -1,4 +1,8 @@ <?php +if (version_compare(PHP_VERSION, '5.3.8', '<')) { + die('FreshRSS error: FreshRSS requires PHP 5.3.8+!'); +} + if (!function_exists('json_decode')) { require_once('JSON.php'); function json_decode($var, $assoc = false) { @@ -393,7 +397,7 @@ function check_install_php() { $pdo_mysql = extension_loaded('pdo_mysql'); $pdo_sqlite = extension_loaded('pdo_sqlite'); return array( - 'php' => version_compare(PHP_VERSION, '5.3.3') >= 0, + 'php' => version_compare(PHP_VERSION, '5.3.8') >= 0, 'minz' => file_exists(LIB_PATH . '/Minz'), 'curl' => extension_loaded('curl'), 'pdo' => $pdo_mysql || $pdo_sqlite, |