X-Git-Url: https://git.wh0rd.org/?a=blobdiff_plain;f=prefs.php;h=9f2b2e43b743a2cd3b1d886827986196489d6012;hb=e2b8c9273e09091c235959c25d8e4d8122aa6ca8;hp=bf89d3a03dcfdc39e691c9355b460d8695657f30;hpb=352e19418dd06d7997479b34b2f31fa43d2e0804;p=tt-rss.git diff --git a/prefs.php b/prefs.php index bf89d3a0..9f2b2e43 100644 --- a/prefs.php +++ b/prefs.php @@ -1,196 +1,176 @@ 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); + if (!init_plugins()) return; - login_sequence($link); - - $dt_add = get_script_dt_add(); - - 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
-
- - -
- ? Keyboard shortcuts -
- -
 
- -
-
- -
- - -
- -
- - = 10) { ?> -
- + -
-

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