X-Git-Url: https://git.wh0rd.org/?a=blobdiff_plain;f=prefs.php;h=9f2b2e43b743a2cd3b1d886827986196489d6012;hb=e2b8c9273e09091c235959c25d8e4d8122aa6ca8;hp=0b9cb3cf2fd57e07fd6f068d47438c3dc5f75c29;hpb=05809dfdf7cbf7699be6408c0f49d325585726b5;p=tt-rss.git diff --git a/prefs.php b/prefs.php index 0b9cb3cf..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,15 +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); - - $dt_add = time(); - - no_cache_incantation(); + login_sequence(); header('Content-Type: text/html; charset=utf-8'); ?> @@ -25,37 +30,73 @@ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> - <?php echo PAGE_TITLE ?> : <?php echo __("Preferences") ?> - - + Tiny Tiny RSS : <?php echo __("Preferences") ?> + - + - + - - - - - - + - + + + + + + - + @@ -69,9 +110,9 @@ - + -
 
+
@@ -84,8 +125,6 @@
- - - -