X-Git-Url: https://git.wh0rd.org/?a=blobdiff_plain;f=prefs.php;h=7a7d2842cc99f4dd2f9a0834768363a3891a7d97;hb=404e2e3603c852a3f82a21c14b8888005e2b3f99;hp=8b554167371373fde337d2fc2a381906298addf1;hpb=6cbe53c9f5e9c369977b737f897a621f00fba90b;p=tt-rss.git
diff --git a/prefs.php b/prefs.php
index 8b554167..7a7d2842 100644
--- a/prefs.php
+++ b/prefs.php
@@ -1,9 +1,20 @@
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";
@@ -11,58 +22,63 @@
$link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME);
- if (!init_connection($link)) return;
+ if (!init_plugins($link)) return;
login_sequence($link);
- $dt_add = time();
-
- no_cache_incantation();
-
header('Content-Type: text/html; charset=utf-8');
-
?>
Tiny Tiny RSS : <?php echo __("Preferences") ?>
-
-
-
+
+
+
+
+
+
+
-
-
-
-
-
-
+ ">
+ echo javascript_tag($jsfile);
+
+ } ?>
@@ -78,7 +94,7 @@
-
+
@@ -91,12 +107,8 @@
-
-
-
-
@@ -119,6 +131,9 @@
+
run_hooks($pluginhost::HOOK_PREFS_TABS,
@@ -128,7 +143,11 @@