Don't bail out if git gc removed refs

[tt-rss.git] / prefs.php

diff --git a/prefs.php b/prefs.php
index a0fe93b15ef868d665cb1ddd66a98afe938d36ab..89e5f4c2a6051a0ecd7a3eaf4e269f814c9e370c 100644 (file)
--- a/prefs.php
+++ b/prefs.php
@@ -77,10 +77,16 @@
        } ?>
 
        <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 {";
@@ -92,8 +98,6 @@
                        }
                }
 
-               print get_minified_js(array("functions", "deprecated", "prefs"));
-
                init_js_translations();
        ?>
        </script>