| 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); |
| } |
| }, |
| /** |