<head>
<title>Tiny Tiny RSS : <?php echo __("Preferences") ?></title>
+ <script type="text/javascript">
+ var __ttrss_version = "<?php echo VERSION ?>"
+ </script>
+
<?php echo stylesheet_tag("lib/dijit/themes/claro/claro.css"); ?>
<?php echo stylesheet_tag("css/layout.css"); ?>
<?php
foreach (array("lib/prototype.js",
- "lib/scriptaculous/scriptaculous.js?load=effects",
+ "lib/scriptaculous/scriptaculous.js?load=effects,controls",
"lib/dojo/dojo.js",
"lib/dojo/tt-rss-layer.js",
"errors.php?mode=js") as $jsfile) {
<body id="ttrssPrefs" class="claro">
-<div id="notify" class="notify" style="display : none"></div>
+<div id="notify" class="notify"></div>
<div id="cmdline" style="display : none"></div>
<div id="overlay">