Index: lib/Public.jsm |
=================================================================== |
--- a/lib/Public.jsm |
+++ b/lib/Public.jsm |
@@ -88,17 +88,17 @@ var AdblockPlus = |
id = externalPrefix + id; |
let subscription = Subscription.knownSubscriptions[id]; |
if (typeof subscription == "undefined") |
subscription = new ExternalSubscription(id, title); |
subscription.lastDownload = parseInt(new Date().getTime() / 1000); |
let newFilters = []; |
- for each (let filter in filters) |
+ for (let filter of filters) |
{ |
filter = Filter.fromText(Filter.normalize(filter)); |
if (filter) |
newFilters.push(filter); |
} |
if (id in FilterStorage.knownSubscriptions) |
FilterStorage.updateSubscriptionFilters(subscription, newFilters); |
@@ -125,33 +125,33 @@ var AdblockPlus = |
return true; |
}, |
/** |
* Adds user-defined filters to the list |
*/ |
addPatterns: function(/**Array of String*/ filters) |
{ |
- for each (let filter in filters) |
+ for (let filter of filters) |
{ |
filter = Filter.fromText(Filter.normalize(filter)); |
if (filter) |
{ |
filter.disabled = false; |
FilterStorage.addFilter(filter); |
} |
} |
}, |
/** |
* Removes user-defined filters from the list |
*/ |
removePatterns: function(/**Array of String*/ filters) |
{ |
- for each (let filter in filters) |
+ for (let filter of filters) |
{ |
filter = Filter.fromText(Filter.normalize(filter)); |
if (filter) |
FilterStorage.removeFilter(filter); |
} |
}, |
/** |