X-Git-Url: https://git.wh0rd.org/?a=blobdiff_plain;f=prefs.php;h=9f2b2e43b743a2cd3b1d886827986196489d6012;hb=e2b8c9273e09091c235959c25d8e4d8122aa6ca8;hp=1399d9f58adef1c2ece78f58038a5a7ab0dd69da;hpb=0d421af86fdfe270e7396f308cf53f3b908e3d74;p=tt-rss.git
diff --git a/prefs.php b/prefs.php
index 1399d9f5..9f2b2e43 100644
--- a/prefs.php
+++ b/prefs.php
@@ -1,52 +1,104 @@
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";
require_once "version.php";
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;
-
- login_sequence($link);
-
- $dt_add = time();
+ if (!init_plugins()) return;
- no_cache_incantation();
+ login_sequence();
header('Content-Type: text/html; charset=utf-8');
-
?>
- Tiny Tiny RSS : Preferences
-
-
+ Tiny Tiny RSS : <?php echo __("Preferences") ?>
+
+
+
+
+
+
+
-
-
+
+
+
+
-
-
-
-
-
-
+ ">
+ echo javascript_tag($jsfile);
-
-
-
+ } ?>
+
+
+
@@ -58,9 +110,9 @@
-
+
-
+
@@ -73,12 +125,8 @@
-
-
-
-
@@ -101,25 +149,28 @@
+
-= 10 || SINGLE_USER_MODE) { ?>
-
-
-
+run_hooks(PluginHost::HOOK_PREFS_TABS,
+ "hook_prefs_tabs", false);
+?>
-
-