- <script type="text/javascript" charset="utf-8" src="js/functions.js?<?php echo $dt_add ?>"></script>
- <script type="text/javascript" charset="utf-8" src="js/deprecated.js?<?php echo $dt_add ?>"></script>
- <script type="text/javascript" charset="utf-8" src="js/prefs.js?<?php echo $dt_add ?>"></script>
+ } ?>
+
+ <script type="text/javascript">
+ 'use strict';
+ require({cache:{}});
+ <?php
+ print get_minified_js(["functions.js", "prefs.js"]);
+ ?>
+ </script>
+ <script type="text/javascript">
+ <?php
+ foreach (PluginHost::getInstance()->get_plugins() as $n => $p) {
+ if (method_exists($p, "get_prefs_js")) {
+ echo "try {";
+ echo JShrink\Minifier::minify($p->get_prefs_js());
+ echo "} catch (e) {
+ console.warn('failed to initialize plugin JS: $n');
+ console.warn(e);
+ }";
+ }
+ }
+
+ init_js_translations();
+ ?>
+ </script>