Tiny Tiny RSS : Preferences

X-Git-Url: https://git.wh0rd.org/?a=blobdiff_plain;f=prefs.php;h=1399d9f58adef1c2ece78f58038a5a7ab0dd69da;hb=355be9fb6cdfa01c1ca3b7b41bca6394387e0d3e;hp=129e1cf863fe4548bd10544fc4878e90d50f44ef;hpb=f88c78147edb6449f291f47273b2e78ed528a1ab;p=tt-rss.git diff --git a/prefs.php b/prefs.php index 129e1cf8..ef08ab86 100644 --- a/prefs.php +++ b/prefs.php @@ -1,55 +1,107 @@ 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); - - login_sequence($link); + if (!init_plugins()) return; - $dt_add = get_script_dt_add(); + login_sequence(); - 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); - - + } ?> + + + - +