= 10) { ?>
run_hooks(PluginHost::HOOK_PREFS_TABS,
"hook_prefs_tabs", false);
?>
Fatal Error: You forgot to copy config.php-dist to config.php and edit it.\n"; exit; } require_once "autoload.php"; require_once "sessions.php"; require_once "functions.php"; require_once "sanity_check.php"; require_once "version.php"; require_once "config.php"; require_once "db-prefs.php"; if (!init_plugins()) return; login_sequence(); header('Content-Type: text/html; charset=utf-8'); ?>