X-Git-Url: https://git.wh0rd.org/?a=blobdiff_plain;f=prefs.php;h=9f2b2e43b743a2cd3b1d886827986196489d6012;hb=81fc862e370a1dfbd3941206fd00076e3cbf0551;hp=7266a4b4608b9d5839a83c50cebd5e1342bb23fd;hpb=d1628a4fadec849f83c9c1d6fc6f14a712cc3799;p=tt-rss.git diff --git a/prefs.php b/prefs.php index 7266a4b4..9f2b2e43 100644 --- a/prefs.php +++ b/prefs.php @@ -1,187 +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); - - 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
-
- - -
- ? Keyboard shortcuts -
- -
 
- -
-
- -
- - -
- -
- - = 10) { ?> -
- + -
-

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