+ <link rel="icon" type="image/png" sizes="72x72" href="images/favicon-72px.png" />
+
+ <?php
+ foreach (array("lib/prototype.js",
+ "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",
+ "errors.php?mode=js") as $jsfile) {
+
+ echo javascript_tag($jsfile);