"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) {
}
}
- print get_minified_js(array("functions", "deprecated", "prefs"));
+ print get_minified_js(array("functions", "deprecated", "prefs", "PrefFeedTree", "PrefFilterTree", "PrefLabelTree"));
init_js_translations();
?>
</div>
</div>
-<img id="piggie" src="images/piggie.png" style="display : none" alt="piggie"/>
-
<div id="header" dojoType="dijit.layout.ContentPane" region="top">
<!-- <a href='#' onclick="showHelp()"><?php echo __("Keyboard shortcuts") ?></a> | -->
<a href="#" onclick="gotoMain()"><?php echo __('Exit preferences') ?></a>