Fix non-string settings were not correctly recognized

This commit is contained in:
Bernd Bestel 2018-07-12 22:23:00 +02:00
parent 2d712b0ef7
commit 33e5ed9ddc
No known key found for this signature in database
GPG Key ID: 71BD34C0D4891300

View File

@ -128,7 +128,7 @@ function BoolToString(bool $bool)
return $bool ? 'true' : 'false'; return $bool ? 'true' : 'false';
} }
function Setting(string $name, string $value) function Setting(string $name, $value)
{ {
if (!defined($name)) if (!defined($name))
{ {