+ <script type="text/javascript">
+ <?php
+ require 'lib/jsmin.php';
+
+ foreach (explode(",", ARTICLE_BUTTON_PLUGINS) as $p) {
+ $jsf = "js/".trim($p)."_button.js";
+ if (file_exists($jsf)) {
+ echo JSMin::minify(file_get_contents($jsf));
+ }
+ }
+
+ foreach (array("tt-rss", "functions", "feedlist", "viewfeed", "FeedTree") as $js) {
+ if (!isset($_GET['debug'])) {
+ echo JSMin::minify(file_get_contents("js/$js.js"));
+ } else {
+ echo file_get_contents("js/$js.js");
+ }
+ }
+ ?>
+ </script>
+