Fatal Error: You forgot to copy config.php-dist to config.php and edit it.\n"; exit; } set_include_path(get_include_path() . PATH_SEPARATOR . dirname(__FILE__) ."/include"); require_once "functions.php"; require_once "sessions.php"; require_once "sanity_check.php"; require_once "version.php"; require_once "config.php"; require_once "db-prefs.php"; require_once "lib/Mobile_Detect.php"; $mobile = new Mobile_Detect(); if ($mobile->isMobile() && !$mobile->isTablet() && !$_REQUEST['mobile']) { header('Location: mobile/index.php'); exit; } $link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME); if (!init_connection($link)) return; login_sequence($link); $dt_add = time(); no_cache_incantation(); header('Content-Type: text/html; charset=utf-8'); ?>