Noissue - Don't call unhighlightElements() twice

include.postload.js

 /*
  * This file is part of Adblock Plus <https://adblockplus.org/>,
  * Copyright (C) 2006-2015 Eyeo GmbH
  *
  * Adblock Plus is free software: you can redistribute it and/or modify
  * it under the terms of the GNU General Public License version 3 as
  * published by the Free Software Foundation.
  *
  * Adblock Plus is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
@@ skipping 344 matching lines @@
 }
 
 function clickHide_deactivate()
 {
   clickHide_rulesPending();
   clickHide_filters = null;
 
   if (currentElement)
   {
     currentElement.removeEventListener("contextmenu",  clickHide_elementClickHandler, true);
-    unhighlightElements();

[Sebastian Noack, 2015/04/10 11:17:38]

Unfortunatelly, the patch misses some context. This is how the code looked
before:

  if (currentElement)
  {
    currentElement.removeEventListener("contextmenu", 
clickHide_elementClickHandler, true);
    unhighlightElements();
    unhighlightElement(currentElement);
    currentElement = null;
  }
  unhighlightElements();

As you can see, unhighlightElements() was called in the branch if currentElement
exists, and one more time unconditionally below.

     unhighlightElement(currentElement);
     currentElement = null;
   }
   unhighlightElements();
 
   var overlays = document.getElementsByClassName("__adblockplus__overlay");
   while (overlays.length > 0)
     overlays[0].parentNode.removeChild(overlays[0]);
 
   ext.onExtensionUnloaded.removeListener(clickHide_deactivate);
@@ skipping 372 matching lines @@
           lastRightClickEventValid = false;
         else
           lastRightClickEvent = null;
         break;
     }
   });
 
   if (window == window.top)
     ext.backgroundPage.sendMessage({type: "report-html-page"});
 }