diff --git a/index.php b/index.php index 811422d20..a2a6d2373 100644 --- a/index.php +++ b/index.php @@ -1,14 +1,5 @@ Fatal Error: PHP version 7.4.0 or newer required. You're using " . PHP_VERSION . ".\n"; - exit; - } - - set_include_path(__DIR__ ."/include" . PATH_SEPARATOR . - get_include_path()); + set_include_path(__DIR__ . "/include" . PATH_SEPARATOR . get_include_path()); require_once "autoload.php"; require_once "sessions.php"; diff --git a/prefs.php b/prefs.php index 83b620bc6..f1c7a0fa7 100644 --- a/prefs.php +++ b/prefs.php @@ -1,13 +1,5 @@ Fatal Error: PHP version 7.4.0 or newer required. You're using " . PHP_VERSION . ".\n"; - exit; - } - - set_include_path(__DIR__ ."/include" . PATH_SEPARATOR . - get_include_path()); + set_include_path(__DIR__ . "/include" . PATH_SEPARATOR . get_include_path()); require_once "autoload.php"; require_once "sessions.php";