Have fetch_file_contents() save the effective URL.

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

index 4298c38a2be7efd4fd4e00527838c0464834ab46..bffd5cdf5c526bf025ea595202a8cb82e54d91df 100644 (file)
--- a/prefs.php
+++ b/prefs.php
@@ -31,20 +31,20 @@
  <html>
  <head>
         <title>Tiny Tiny RSS : <?php echo __("Preferences") ?></title>
+    <meta name="viewport" content="initial-scale=1,width=device-width" />
  
         <script type="text/javascript">
                 var __ttrss_version = "<?php echo VERSION ?>"
         </script>
  
         <?php echo stylesheet_tag("lib/dijit/themes/claro/claro.css"); ?>
-       <?php echo stylesheet_tag("css/layout.css"); ?>
  
         <?php if ($_SESSION["uid"]) {
                 $theme = get_pref( "USER_CSS_THEME", $_SESSION["uid"], false);
                 if ($theme && theme_valid("$theme")) {
                         echo stylesheet_tag(get_theme_path($theme));
                 } else {
-                       echo stylesheet_tag("themes/default.css");
+                       echo stylesheet_tag("css/default.css");
                 }
         }
         ?>
@@ -92,7 +92,7 @@
                         }
                 }
  
-               print get_minified_js(array("functions", "deprecated", "prefs"));
+               print get_minified_js(["functions.js", "prefs.js"]);
  
                 init_js_translations();
         ?>
@@ -108,7 +108,7 @@
  
  </head>
  
-<body id="ttrssPrefs" class="claro">
+<body class="claro ttrss_main ttrss_prefs">
  
  <div id="notify" class="notify"></div>
  <div id="cmdline" style="display : none"></div>