Fix not working lint anchor

Author: GuillaumeGomez

util/gh-pages/index_template.html

@@ -150,7 +150,7 @@ <h1>Clippy Lints</h1> {# #}
                             <h2 class="panel-title"> {# #}
                                 <div class="panel-title-name" id="lint-{{lint.id}}"> {# #}
                                     <span>{{lint.id}}</span> {#+ #}
-                                    <a href="#{{lint.id}}" class="anchor label label-default" onclick="openLint(event)">&para;</a> {#+ #}
+                                    <a href="#{{lint.id}}" class="anchor label label-default">&para;</a> {#+ #}
                                     <a href="" class="anchor label label-default" onclick="copyToClipboard(event)"> {# #}
                                         &#128203; {# #}
                                     </a> {# #}

util/gh-pages/script.js

@@ -151,13 +151,6 @@ function expandLint(lintId) {
     highlightIfNeeded(lintId);
 }
 
-// Show details for one lint
-function openLint(event) {
-    event.preventDefault();
-    event.stopPropagation();
-    expandLint(event.target.getAttribute("href").slice(1));
-}
-
 function copyToClipboard(event) {
     event.preventDefault();
     event.stopPropagation();