Generate filter buttons before DOM is loaded

Author: GuillaumeGomez

util/gh-pages/index_template.html

@@ -141,7 +141,10 @@ <h1>Clippy Lints</h1> {# #}
                         </button> {# #}
                     </div> {# #}
                 </div> {# #}
-            </div>
+            </div> {# #}
+            <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.6.0/highlight.min.js"></script> {# #}
+            <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.6.0/languages/rust.min.js"></script> {# #}
+            <script src="script.js"></script>
             {% for lint in lints %}
                 <article class="panel panel-default collapsed" id="{{lint.id}}"> {# #}
                     <header class="panel-heading" onclick="expandLint('{{lint.id}}')"> {# #}
@@ -224,9 +227,5 @@ <h2 class="panel-title"> {# #}
             ></path> {# #}
         </svg> {# #}
     </a> {# #}
-
-    <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.6.0/highlight.min.js"></script> {# #}
-    <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.6.0/languages/rust.min.js"></script> {# #}
-    <script src="script.js"></script> {# #}
 </body> {# #}
 </html> {# #}

util/gh-pages/script.js

@@ -574,5 +574,7 @@ document.addEventListener("keydown", handleShortcut);
 generateSettings();
 generateSearch();
 parseURLFilters();
-scrollToLintByURL();
-filters.filterLints();
+window.addEventListener('DOMContentLoaded', () => {
+    scrollToLintByURL();
+    filters.filterLints();
+});