X-Git-Url: https://git.wh0rd.org/?a=blobdiff_plain;f=prefs.php;h=0add206e43c0de29bb54353d3f4aab5ce2f20c0f;hb=f820f205d0ec1c5ce9027e49755fc8642b0c5b42;hp=58a078b1faba627c2faf5c0d9578891eb6d74ee0;hpb=7b28a986978e25fbc5ecdb468a48efbf158f641d;p=tt-rss.git diff --git a/prefs.php b/prefs.php index 58a078b1..0add206e 100644 --- a/prefs.php +++ b/prefs.php @@ -1,9 +1,19 @@ Fatal Error: You forgot to copy + config.php-dist to config.php and edit it.\n"; + exit; + } - require_once "functions.php"; require_once "sessions.php"; + require_once "functions.php"; require_once "sanity_check.php"; require_once "version.php"; require_once "config.php"; @@ -15,38 +25,54 @@ login_sequence($link); - $dt_add = time(); - no_cache_incantation(); header('Content-Type: text/html; charset=utf-8'); - ?> Tiny Tiny RSS : <?php echo __("Preferences") ?> - - - + + + + + + + - - - - - + echo javascript_tag($jsfile); - + } ?> + + - - + global $pluginhost; + + foreach ($pluginhost->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("functions", "deprecated", "prefs")); + + init_js_translations(); + ?> + @@ -73,12 +99,10 @@ - - @@ -102,12 +126,10 @@ href="backend.php?op=pref-users" title=""> -= 10 || SINGLE_USER_MODE) { ?> -
- - +run_hooks($pluginhost::HOOK_PREFS_TABS, + "hook_prefs_tabs", false); +?>