]> git.wh0rd.org - tt-rss.git/blobdiff - prefs.php
optimize loading of external libraries a bit
[tt-rss.git] / prefs.php
index a47d00bce29416fd2d6421b2aaa5dd4818a58932..cda53751b891d6c93f391af93c7379b4fb7f17d0 100644 (file)
--- a/prefs.php
+++ b/prefs.php
@@ -15,8 +15,6 @@
 
        login_sequence($link);
 
-       $dt_add = time();
-
        no_cache_incantation();
 
        header('Content-Type: text/html; charset=utf-8');
 <html>
 <head>
        <title>Tiny Tiny RSS : <?php echo __("Preferences") ?></title>
-       <link rel="stylesheet" type="text/css" href="lib/dijit/themes/claro/claro.css"/>
-       <link rel="stylesheet" type="text/css" href="tt-rss.css?<?php echo $dt_add ?>"/>
+
+       <?php echo stylesheet_tag("lib/dijit/themes/claro/claro.css"); ?>
+       <?php echo stylesheet_tag("tt-rss.css"); ?>
 
        <?php print_user_stylesheet($link) ?>
 
        <link rel="shortcut icon" type="image/png" href="images/favicon.png"/>
 
-       <script type="text/javascript" src="lib/prototype.js"></script>
-       <script type="text/javascript" src="lib/position.js"></script>
-       <script type="text/javascript" src="lib/scriptaculous/scriptaculous.js?load=effects,dragdrop,controls"></script>
-       <script type="text/javascript" src="lib/dojo/dojo.js"></script>
-       <script type="text/javascript" src="lib/dijit/dijit.js"></script>
-       <script type="text/javascript" src="lib/dojo/tt-rss-layer.js"></script>
+       <?php
+       foreach (array("lib/prototype.js",
+                               "lib/scriptaculous/scriptaculous.js?load=effects,dragdrop,controls",
+                               "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);
 
-       <script type="text/javascript" charset="utf-8" src="localized_js.php?<?php echo $dt_add ?>"></script>
+       } ?>
 
        <script type="text/javascript">
        <?php