- <title>Tiny Tiny RSS</title>
- <link rel="stylesheet" href="tt-rss.css" type="text/css">
- <script type="text/javascript" src="functions.js"></script>
- <script type="text/javascript" src="prefs.js"></script>
- <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
+ <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 print_theme_includes($link) ?>
+ <?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>
+
+ <script type="text/javascript" charset="utf-8" src="localized_js.php?<?php echo $dt_add ?>"></script>
+
+ <script type="text/javascript">
+ <?php
+ require 'lib/jsmin.php';
+
+ global $pluginhost;
+
+ foreach ($pluginhost->get_plugins() as $n => $p) {
+ if (method_exists($p, "get_prefs_js")) {
+ echo JSMin::minify($p->get_prefs_js());
+ }
+ }
+
+ foreach (array("functions", "deprecated", "prefs") as $js) {
+ if (!isset($_GET['debug'])) {
+ echo JSMin::minify(file_get_contents("js/$js.js"));
+ } else {
+ echo file_get_contents("js/$js.js");
+ }
+ }
+ ?>
+ </script>
+
+ <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
+
+ <script type="text/javascript">
+ Event.observe(window, 'load', function() {
+ init();
+ });
+ </script>
+