<?php echo stylesheet_tag("lib/dijit/themes/claro/claro.css"); ?>
<?php if ($_SESSION["uid"]) {
- $theme = get_pref( "USER_CSS_THEME", $_SESSION["uid"], false);
+ $theme = get_pref("USER_CSS_THEME", false, false);
if ($theme && theme_valid("$theme")) {
echo stylesheet_tag(get_theme_path($theme));
} else {
} ?>
<script type="text/javascript">
+ 'use strict';
require({cache:{}});
<?php
- require_once 'lib/jshrink/Minifier.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 {";
}
}
- print get_minified_js(array("functions", "deprecated", "prefs"));
-
init_js_translations();
?>
</script>