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 (!$_REQUEST['mobile']) {
if ($mobile->isTablet()) {
header('Location: digest.php');
exit;
} else if ($mobile->isMobile()) {
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');
?>
Tiny Tiny RSS
 ?> "<?php echo __('New version of Tiny Tiny RSS is available!') ?>"){kind=small}
