| 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]; |