diff options
Diffstat (limited to 'include/sanity_check.php')
| -rw-r--r-- | include/sanity_check.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/include/sanity_check.php b/include/sanity_check.php index 3e5c09803..2769b4b59 100644 --- a/include/sanity_check.php +++ b/include/sanity_check.php @@ -1,15 +1,15 @@ <?php require_once "functions.php"; - define('EXPECTED_CONFIG_VERSION', 23); - define('SCHEMA_VERSION', 86); - if (!file_exists("config.php")) { print "<b>Fatal Error</b>: You forgot to copy <b>config.php-dist</b> to <b>config.php</b> and edit it.\n"; exit; } + define('EXPECTED_CONFIG_VERSION', 23); + define('SCHEMA_VERSION', 86); + require_once "config.php"; require_once "sanity_config.php"; |