somewhat friendlier purge/update names in feed editor

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

index 639f5d86ea65085013355f66304bbedbce65968b..e5c941f423303eddf626b8f240f2861820d54e5a 100644 (file)
--- a/prefs.php
+++ b/prefs.php
@@ -13,6 +13,9 @@
         $link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME); 
  
         login_sequence($link);
+
+       $dt_add = get_script_dt_add();
+
  ?>
  <html>
  <head>
@@ -41,11 +44,12 @@
         <? } ?>
  
         
-       <script type="text/javascript" src="functions.js"></script>
-       <script type="text/javascript" src="prefs.js"></script>
+       <script type="text/javascript" src="functions.js?<?= $dt_add ?>"></script>
+       <script type="text/javascript" src="prefs.js?<?= $dt_add ?>"></script>
  
         <!--[if gte IE 5.5000]>
                 <script type="text/javascript" src="pngfix.js"></script>
+               <link rel="stylesheet" type="text/css" href="tt-rss-ie.css">
         <![endif]-->
         <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  
@@ -53,6 +57,9 @@
                 if (navigator.userAgent.match("Opera")) {
                         document.write('<link rel="stylesheet" type="text/css" href="opera.css">');
                 }
+               if (navigator.userAgent.match("Gecko") && !navigator.userAgent.match("KHTML")) {
+                       document.write('<link rel="stylesheet" type="text/css" href="gecko.css">');
+               }
         </script>
  </head>
  
@@ -103,10 +110,10 @@ window.onload = init;
         <td class="prefsTabs" align="left" valign="bottom">
                 <input id="genConfigTab" class="prefsTab" type="submit" value="Preferences"
                         onclick="selectTab('genConfig')">
-               <input id="feedConfigTab" class="prefsTab" type="submit" value="Feed Configuration"
+               <input id="feedConfigTab" class="prefsTab" type="submit" value="My Feeds"
                         onclick="selectTab('feedConfig')">
-               <? if (ENABLE_FEED_BROWSER) { ?>
-               <input id="feedBrowserTab" class="prefsTab" type="submit" value="Feed Browser"
+               <? if (ENABLE_FEED_BROWSER && !SINGLE_USER_MODE) { ?>
+               <input id="feedBrowserTab" class="prefsTab" type="submit" value="Other Feeds"
                         onclick="selectTab('feedBrowser')">
                 <? } ?>
                 <input id="filterConfigTab" class="prefsTab" type="submit" value="Content Filtering"