HTML report : anchors

Author: Halleck45

templates/html/summary/report.html.twig

@@ -206,6 +206,18 @@
     var ruleSet = {{ ruleSet.asArray() | json_encode }}
     {% endautoescape %}
 
+    // fixes links to tab
+    // Javascript to enable link to tab
+    var hash = document.location.hash;
+    var prefix = "tab_";
+    if (hash) {
+        $('#menu a[href='+hash.replace(prefix,"")+']').tab('show');
+    }
+    // Change hash for page-reload
+    $('#menu a').on('shown', function (e) {
+        window.location.hash = e.target.hash.replace("#", "#" + prefix);
+    });
+
 </script>