<?php 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"; logout_user(); header("Location: tt-rss.php"); ?>