X-Git-Url: https://git.wh0rd.org/?p=tt-rss.git;a=blobdiff_plain;f=prefs.php;h=9f2b2e43b743a2cd3b1d886827986196489d6012;hp=9c59d6c4d6f651cc2fe1a54116b712a111e1bc33;hb=81fc862e370a1dfbd3941206fd00076e3cbf0551;hpb=c489ae913d1778a9cdab45092bf0015e74300909
diff --git a/prefs.php b/prefs.php
index 9c59d6c4..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 PAGE_TITLE ?> : <?php echo __("Preferences") ?>
+ Tiny Tiny RSS : <?php echo __("Preferences") ?>
+
+
+
-
-
+
+
+
+
+
+
@@ -73,9 +110,9 @@
-
+
-
+
@@ -88,8 +125,6 @@
-
-
-
-