From be3620acb747e4826d83a621d48781c7ebcd5726 Mon Sep 17 00:00:00 2001 From: Quentin Delmas Date: Wed, 22 Aug 2018 16:21:20 +0100 Subject: [PATCH] Add extension check for the "json" extension. --- lib/Configuration.php | 3 +++ 1 file changed, 3 insertions(+) diff --git a/lib/Configuration.php b/lib/Configuration.php index 047d8348..9781cce8 100644 --- a/lib/Configuration.php +++ b/lib/Configuration.php @@ -27,6 +27,9 @@ class Configuration { if(!extension_loaded('curl')) die('"curl" extension not loaded. Please check "php.ini"'); + if(!extension_loaded('json')) + die('"json" extension not loaded. Please check "php.ini"'); + // Check cache folder permissions (write permissions required) if(!is_writable(CACHE_DIR)) die('RSS-Bridge does not have write permissions for ' . CACHE_DIR . '!');