NO BUG Allow users to disable element hiding

chrome/content/ui/filters.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 129 matching lines @@
           let value = Cu.evalInSandbox(attribute.value.substr(1, len - 2), sandbox);
           if (attribute.name == "condition")
             value = value ? "true" : "false";
           attribute.value = value;
         }
       }
     }
 
     // Process <if> tags - remove if condition is false, replace by their children
     // if it is true
-    for each (let node in conditionals)
+    for (let node of conditionals)
     {
       let fragment = document.createDocumentFragment();
       let condition = node.getAttribute("condition");
       if (condition == "false")
         condition = false;
       for (let i = 0; i < node.childNodes.length; i++)
       {
         let child = node.childNodes[i];
         if (child.localName == "elif" || child.localName == "else")
         {
@@ skipping 56 matching lines @@
    * data object.
    */
   getNodeForData: function(/**Node*/ parent, /**String*/ property, /**Object*/ data) /**Node*/
   {
     for (let child = parent.firstChild; child; child = child.nextSibling)
       if ("_data" in child && property in child._data && child._data[property] == data)
         return child;
     return null;
   }
 };