Index: chrome/content/ui/filters.js |
=================================================================== |
--- a/chrome/content/ui/filters.js |
+++ b/chrome/content/ui/filters.js |
@@ -142,17 +142,17 @@ var Templater = |
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]; |