X-Git-Url: https://git.wh0rd.org/?p=tt-rss.git;a=blobdiff_plain;f=prefs.php;h=9f2b2e43b743a2cd3b1d886827986196489d6012;hp=0d27a6e814c246233c9cef8192b72f883cb5ce1b;hb=81fc862e370a1dfbd3941206fd00076e3cbf0551;hpb=707ad6ddf7b199e202fc39f61ffd08a4bc5bacc1 diff --git a/prefs.php b/prefs.php index 0d27a6e8..9f2b2e43 100644 --- a/prefs.php +++ b/prefs.php @@ -1,7 +1,18 @@ 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"; @@ -9,13 +20,9 @@ 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; + if (!init_plugins()) return; - login_sequence($link); - - no_cache_incantation(); + login_sequence(); header('Content-Type: text/html; charset=utf-8'); ?> @@ -23,23 +30,46 @@ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> - <?php echo get_site_title() ?> : <?php echo __("Preferences") ?> + Tiny Tiny RSS : <?php echo __("Preferences") ?> + + + - - + + + + + + @@ -73,9 +110,9 @@ - + -
 
+
@@ -88,8 +125,6 @@
- - - -