summaryrefslogtreecommitdiff
path: root/prefs.php
diff options
context:
space:
mode:
authorAndrew Dolgov <[email protected]>2013-03-20 20:33:46 +0400
committerAndrew Dolgov <[email protected]>2013-03-20 20:33:46 +0400
commitb5d4716a52aab283e1d3e0527d036134c5787095 (patch)
treeb0215ff969e40204ea661000d7f89914335eae89 /prefs.php
parent47e909d1cfc1199a068732137bbb2d1d31a400ed (diff)
optimize loading of external libraries a bit
fix bold text in Unread articles
Diffstat (limited to 'prefs.php')
-rw-r--r--prefs.php25
1 files changed, 14 insertions, 11 deletions
diff --git a/prefs.php b/prefs.php
index a47d00bce..cda53751b 100644
--- 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');
@@ -26,21 +24,26 @@
<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