X-Git-Url: https://git.wh0rd.org/?a=blobdiff_plain;f=prefs.php;h=82f23f583ab4bfc90f51ea9cf053555cf09f1ac6;hb=d068111a37cb9cc2454c0347f89537e2a2de429c;hp=1c81b4703cbec98717336347b3b193baa3874ef3;hpb=537625c60ce43a9a12416ffbcbfaad738f5d4682;p=tt-rss.git diff --git a/prefs.php b/prefs.php index 1c81b470..82f23f58 100644 --- a/prefs.php +++ b/prefs.php @@ -1,173 +1,175 @@ Fatal Error: You forgot to copy + config.php-dist to config.php and edit it.\n"; + exit; + } - require_once "functions.php"; + 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); - - login_sequence($link); - - $dt_add = get_script_dt_add(); + 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); - + } ?> - - + - + - + - + -
-

Fatal Error

-
-
+
+ -
- -
- - () +
+
+
+
- - Tiny Tiny RSS + +
-
-
- -
- -
 
- -
-
- -
- - -
- -
- - = 10) { ?> -
- + -
-

- +
+ +
+
+
+
+
+= 10) { ?> +
+
+ +run_hooks(PluginHost::HOOK_PREFS_TABS, + "hook_prefs_tabs", false); +?>
-
 
-
BAH
- -
- -
- - + - - - - +