| Index: html/static/js/settings.js | 
| =================================================================== | 
| --- a/html/static/js/settings.js | 
| +++ b/html/static/js/settings.js | 
| @@ -1,23 +1,11 @@ | 
| "use strict"; | 
|  | 
| -function addListener(element, eventType, callback, propagate) | 
| -{ | 
| -  if (element.addEventListener) | 
| -  { | 
| -    element.addEventListener(eventType, callback, propagate); | 
| -  } | 
| -  else | 
| -  { | 
| -    element.attachEvent("on" + eventType, callback); | 
| -  } | 
| -} | 
| - | 
| (function() | 
| { | 
| function init() | 
| { | 
| var manageButton = document.getElementById("manageExceptions"); | 
| -    addListener(manageButton, "click", toggleManage, false); | 
| +    manageButton.addEventListener("click", toggleManage, false); | 
| } | 
|  | 
| function toggleManage(ev) | 
|  |