William/willy.club
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Faen

Browse Source
This commit is contained in:
William 2023-01-30 09:16:14 +01:00
parent 30c82d69c0
commit 08c36dd0b5
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
public/index.php
View File

@ -27,7 +27,6 @@ function config(string $key): bool|string|int|float {
} }
if (gettype($override_value) !== gettype($config[$override_key])) { if (gettype($override_value) !== gettype($config[$override_key])) {
trigger_error('Type mismatch in config file', E_USER_ERROR); trigger_error('Type mismatch in config file', E_USER_ERROR);
throw new Exception('Type mismatch in config override file');
} }
$config[$override_key] = $override_value; $config[$override_key] = $override_value;
} }