optimize loading of external libraries a bit

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

index 68d6fc753eef0c63d1ab92f512eb5efa47aa257e..6d9608a38439e95565bd1669542b5dbffafc7ff0 100644 (file)
--- a/index.php
+++ b/index.php
@@ -44,8 +44,6 @@
  
         login_sequence($link);
  
-       $dt_add = time();
-
         no_cache_incantation();
  
         header('Content-Type: text/html; charset=utf-8');
@@ -56,9 +54,10 @@
  <html>
  <head>
         <title>Tiny Tiny RSS</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 ?>"/>
-       <link rel="stylesheet" type="text/css" href="cdm.css?<?php echo $dt_add ?>"/>
+
+       <?php echo stylesheet_tag("lib/dijit/themes/claro/claro.css"); ?>
+       <?php echo stylesheet_tag("tt-rss.css"); ?>
+       <?php echo stylesheet_tag("cdm.css"); ?>
  
         <?php print_user_stylesheet($link) ?>
  
@@ -74,14 +73,18 @@
  
         <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/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" charset="utf-8" src="errors.php?mode=js"></script>
+       } ?>
  
         <script type="text/javascript">
         <?php