X-Git-Url: https://git.wh0rd.org/?a=blobdiff_plain;f=prefs.php;h=0add206e43c0de29bb54353d3f4aab5ce2f20c0f;hb=f820f205d0ec1c5ce9027e49755fc8642b0c5b42;hp=0d27a6e814c246233c9cef8192b72f883cb5ce1b;hpb=8d051fa0769922df69ac737eee9d13dff67095a9;p=tt-rss.git

diff --git a/prefs.php b/prefs.php
index 0d27a6e8..0add206e 100644
--- a/prefs.php
+++ b/prefs.php
@@ -1,7 +1,17 @@
 <?php
+	if (file_exists("install") && !file_exists("config.php")) {
+		header("Location: install/");
+	}
+
 	set_include_path(dirname(__FILE__) ."/include" . PATH_SEPARATOR .
 		get_include_path());
 
+	if (!file_exists("config.php")) {
+		print "<b>Fatal Error</b>: You forgot to copy
+		<b>config.php-dist</b> to <b>config.php</b> and edit it.\n";
+		exit;
+	}
+
 	require_once "sessions.php";
 	require_once "functions.php";
 	require_once "sanity_check.php";
@@ -23,10 +33,11 @@
 	"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 <html>
 <head>
-	<title><?php echo get_site_title() ?> : <?php echo __("Preferences") ?></title>
+	<title>Tiny Tiny RSS : <?php echo __("Preferences") ?></title>
 
 	<?php echo stylesheet_tag("lib/dijit/themes/claro/claro.css"); ?>
 	<?php echo stylesheet_tag("tt-rss.css"); ?>
+	<?php echo stylesheet_tag("prefs.css"); ?>
 
 	<?php print_user_stylesheet($link) ?>
 
@@ -39,7 +50,6 @@
 				"lib/dojo/dojo.js",
 				"lib/dijit/dijit.js",
 				"lib/dojo/tt-rss-layer.js",
-				"localized_js.php",
 				"errors.php?mode=js") as $jsfile) {
 
 		echo javascript_tag($jsfile);
@@ -60,6 +70,7 @@
 
 		print get_minified_js(array("functions", "deprecated", "prefs"));
 
+		init_js_translations();
 	?>
 	</script>
 
