X-Git-Url: https://git.wh0rd.org/?a=blobdiff_plain;f=prefs.php;h=7a7d2842cc99f4dd2f9a0834768363a3891a7d97;hb=404e2e3603c852a3f82a21c14b8888005e2b3f99;hp=575fbbf0fefa2afb7acabd682bda7d233019e12c;hpb=b8cb4d08b3b06bc22541d3366016403207742503;p=tt-rss.git
diff --git a/prefs.php b/prefs.php
index 575fbbf0..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,14 +22,10 @@
$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);
-
+ } ?>
@@ -77,7 +94,7 @@
-
+
@@ -90,8 +107,6 @@
-
-