Tiny Tiny RSS : Preferences

X-Git-Url: https://git.wh0rd.org/?a=blobdiff_plain;f=prefs.php;h=6a83295f87b671b83a02c6f619481f27485b4643;hb=0c019b4436c9ec224b23972a65aaf55aa03d5d57;hp=891b9c8aaa092a6d607422b107b42bc9625b313f;hpb=88e4e5979c505cdbb494c2624b7a4e09c8145217;p=tt-rss.git diff --git a/prefs.php b/prefs.php index 891b9c8a..6a83295f 100644 --- a/prefs.php +++ b/prefs.php @@ -1,51 +1,89 @@ 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 "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); + if (!init_plugins()) return; - login_sequence($link); + login_sequence(); - $dt_add = time(); - - 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); - + } ?> - - + + print get_minified_js(array("../lib/CheckBoxTree","functions", "deprecated", "prefs", "PrefFeedTree", "PrefFilterTree", "PrefLabelTree")); + + init_js_translations(); + ?> + - +