X-Git-Url: https://git.wh0rd.org/?a=blobdiff_plain;f=prefs.php;h=9f2b2e43b743a2cd3b1d886827986196489d6012;hb=50052fb78a3a9d1bb3fa488e7fd7b23125c38124;hp=11dab397706556c25bc75bbaa2b59c69e62a5450;hpb=bf758124d2bec8977af8b735a4f9a949f24c6fcd;p=tt-rss.git diff --git a/prefs.php b/prefs.php index 11dab397..9f2b2e43 100644 --- a/prefs.php +++ b/prefs.php @@ -1,50 +1,104 @@ 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"; 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(); - - 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); - - + } ?> - + + @@ -56,10 +110,10 @@ -
 
- + - +
+
@@ -71,16 +125,8 @@
- - - - @@ -103,23 +149,28 @@
-
+
- +run_hooks(PluginHost::HOOK_PREFS_TABS, + "hook_prefs_tabs", false); +?> - -