X-Git-Url: https://git.wh0rd.org/?a=blobdiff_plain;f=prefs.php;h=0add206e43c0de29bb54353d3f4aab5ce2f20c0f;hb=f820f205d0ec1c5ce9027e49755fc8642b0c5b42;hp=cae69a54fa80a300c393d2b8de407dd86f0cf2c8;hpb=69941ff85df3ead51871df2b05ebe56407ac4c3c;p=tt-rss.git
diff --git a/prefs.php b/prefs.php
index cae69a54..0add206e 100644
--- a/prefs.php
+++ b/prefs.php
@@ -1,55 +1,81 @@
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 "version.php";
require_once "config.php";
require_once "db-prefs.php";
- $link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME);
+ $link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME);
- login_sequence($link);
+ if (!init_connection($link)) return;
- $dt_add = get_script_dt_add();
+ login_sequence($link);
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);
-
-
+ } ?>
+
+
-
+