X-Git-Url: https://git.wh0rd.org/?a=blobdiff_plain;f=prefs.php;h=ef08ab86bd1ed684d3e0fece102f91499ec9be09;hb=HEAD;hp=735063c0ea1a7522814c441df42565abff0e2bf2;hpb=bd40e88ee6bc68993dd56778c2ca953a8323fcb3;p=tt-rss.git diff --git a/prefs.php b/prefs.php index 735063c0..ef08ab86 100644 --- a/prefs.php +++ b/prefs.php @@ -1,204 +1,173 @@ 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); + login_sequence(); - $dt_add = get_script_dt_add(); - - no_cache_incantation(); - header('Content-Type: text/html; charset=utf-8'); - ?> - - Tiny Tiny RSS : Preferences - + Tiny Tiny RSS : <?php echo __("Preferences") ?> + - - - + - - - - - - + + + + + + + + + + - + echo javascript_tag($jsfile); - + } ?> - - + + + - + + +

- - -

- - - -

- -

- - - -

- -

Fatal Error

- -

- - | - - - - | - +

- - -

- -

- - -

- = 10) { ?> -

- + -

- -

+ +

+= 10) { ?> +

+ +run_hooks(PluginHost::HOOK_PREFS_TABS, + "hook_prefs_tabs", false); +?>

BAH

- -

- - - - Tiny Tiny RSS + - - +

- +