From 6e53f8829bd3ee8d6e58b30df30a19bbb344c65b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kir=C3=A1ly=20P=C3=A9ter?= Date: Wed, 24 Apr 2024 10:23:51 +0200 Subject: [PATCH] Add configuration parameter include: check if the key is existing in the config (#181) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * 045Q/01 (Basisklassifikation) is not displayed at the Sacherschließung page #178 * Don't show \!\! when footer missing * Add configuration parameter `include` * Turn on/off the git connection feature by configuration #179 * Add configuration parameter : check if the key is existing in the config --------- Co-authored-by: Jakob Voss --- classes/Utils/Configuration.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/classes/Utils/Configuration.php b/classes/Utils/Configuration.php index 650d2eb..a85163d 100644 --- a/classes/Utils/Configuration.php +++ b/classes/Utils/Configuration.php @@ -40,7 +40,7 @@ public static function fromIniFile(string $file, array $defaults=[]) { throw new Exception("failed to read config file!"); } - if ($ini['include'] && file_exists($ini['include'])) { + if (isset($ini['include']) && file_exists($ini['include'])) { $include = @parse_ini_file($ini['include'], false, INI_SCANNER_TYPED); if (!$include) { throw new Exception("failed to include config file!");