From 33e5ed9ddcea600a9b8bf6f446594623c2749902 Mon Sep 17 00:00:00 2001
From: Bernd Bestel <bernd@berrnd.de>
Date: Thu, 12 Jul 2018 22:23:00 +0200
Subject: [PATCH] Fix non-string settings were not correctly recognized

---
 helpers/extensions.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helpers/extensions.php b/helpers/extensions.php
index 5537058f..5fb4c8d7 100644
--- a/helpers/extensions.php
+++ b/helpers/extensions.php
@@ -128,7 +128,7 @@ function BoolToString(bool $bool)
 	return $bool ? 'true' : 'false';
 }
 
-function Setting(string $name, string $value)
+function Setting(string $name, $value)
 {
 	if (!defined($name))
 	{