X-Git-Url: https://git.wh0rd.org/?a=blobdiff_plain;f=prefs.php;h=6a83295f87b671b83a02c6f619481f27485b4643;hb=3e0f2090bfe90756b6a0a8f803ec5c407b50c41e;hp=0e48665b31bc66ba9cc4bb0da75f6ea91edd07fb;hpb=d69fa6d66afc03115682840e71619914449a2abc;p=tt-rss.git
diff --git a/prefs.php b/prefs.php
index 0e48665b..6a83295f 100644
--- a/prefs.php
+++ b/prefs.php
@@ -1,55 +1,89 @@
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 "version.php";
require_once "config.php";
require_once "db-prefs.php";
- $link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME);
-
- init_connection($link);
-
- login_sequence($link);
+ if (!init_plugins()) return;
- $dt_add = time();
+ login_sequence();
- no_cache_incantation();
-
header('Content-Type: text/html; charset=utf-8');
-
?>
-
- Tiny Tiny RSS : Preferences
-
-
-
-
-
-
-
-
-
+ Tiny Tiny RSS : <?php echo __("Preferences") ?>
+
+
+
+
+
+
+
+
+
+
-
-
-
-
+ ">
+ echo javascript_tag($jsfile);
-
-
+ } ?>
+
+
+ foreach (PluginHost::getInstance()->get_plugins() as $n => $p) {
+ if (method_exists($p, "get_prefs_js")) {
+ echo JShrink\Minifier::minify($p->get_prefs_js());
+ }
+ }
+
+ print get_minified_js(array("../lib/CheckBoxTree","functions", "deprecated", "prefs", "PrefFeedTree", "PrefFilterTree", "PrefLabelTree"));
+
+ init_js_translations();
+ ?>
+
-
+