From 36e21ad9fa77ed0e5048e5dfedb2f26165641806 Mon Sep 17 00:00:00 2001
From: WrinklyNinja <wrinklyninja1@gmail.com>
Date: Mon, 25 Aug 2014 18:15:36 +0100
Subject: [PATCH] Removed dead function.

---
 resources/report/js/script.js | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/resources/report/js/script.js b/resources/report/js/script.js
index 0e112e73..cbe6a182 100644
--- a/resources/report/js/script.js
+++ b/resources/report/js/script.js
@@ -407,9 +407,6 @@ function hideElement(element) {
         element.classList.toggle('hidden', true);
     }
 }
-function highlightElement(element, state) {
-    element.classList.toggle('highlight', state);
-}
 function toggleDisplayCSS(evt) {
     var e = document.getElementsByClassName(evt.target.getAttribute('data-class'));
     if (evt.target.checked) {