updated german translation

[tt-rss.git] / prefs.php
diff --git a/prefs.php b/prefs.php

index 0d27a6e814c246233c9cef8192b72f883cb5ce1b..ea531e2c6943eebddb52c67023990cb9fd682674 100644 (file)
--- 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,19 @@
         "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 if ($_SESSION["uid"]) {
+               $theme = get_pref($link, "USER_CSS_THEME", $_SESSION["uid"], false);
+               if ($theme) {
+                       echo stylesheet_tag("themes/$theme");
+               }
+       }
+       ?>
  
         <?php print_user_stylesheet($link) ?>
  
@@ -38,8 +57,8 @@
                                 "lib/scriptaculous/scriptaculous.js?load=effects,dragdrop,controls",
                                 "lib/dojo/dojo.js",
                                 "lib/dijit/dijit.js",
+                               "lib/CheckBoxTree.js",
                                 "lib/dojo/tt-rss-layer.js",
-                               "localized_js.php",
                                 "errors.php?mode=js") as $jsfile) {
  
                 echo javascript_tag($jsfile);
@@ -58,8 +77,9 @@
                         }
                 }
  
-               print get_minified_js(array("functions", "deprecated", "prefs"));
+               print get_minified_js(array("functions", "deprecated", "prefs", "PrefFeedTree", "PrefFilterTree", "PrefLabelTree"));
  
+               init_js_translations();
         ?>
         </script>
  
@@ -88,8 +108,6 @@
         </div>
  </div>
  
-<img id="piggie" src="images/piggie.png" style="display : none" alt="piggie"/>
-
  <div id="header" dojoType="dijit.layout.ContentPane" region="top">
         <!-- <a href='#' onclick="showHelp()"><?php echo __("Keyboard shortcuts") ?></a> | -->
         <a href="#" onclick="gotoMain()"><?php echo __('Exit preferences') ?></a>
@@ -123,7 +141,11 @@
  
  <div id="footer" dojoType="dijit.layout.ContentPane" region="bottom">
         <a class="insensitive" target="_blank" href="http://tt-rss.org/">
-       Tiny Tiny RSS</a> &copy; 2005-<?php echo date('Y') ?>
+       Tiny Tiny RSS</a>
+       <?php if (!defined('HIDE_VERSION')) { ?>
+                v<?php echo VERSION ?>
+       <?php } ?>
+       &copy; 2005-<?php echo date('Y') ?>
         <a class="insensitive" target="_blank"
         href="http://fakecake.org/">Andrew Dolgov</a>
  </div> <!-- footer -->