Fatal Error: You forgot to copy config.php-dist to config.php and edit it.\n"; exit; } 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"; $link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME); if (!init_connection($link)) return; login_sequence($link); header('Content-Type: text/html; charset=utf-8'); ?> Tiny Tiny RSS : <?php echo __("Preferences") ?>
 
= 10) { ?>
run_hooks($pluginhost::HOOK_PREFS_TABS, "hook_prefs_tabs", false); ?>