| Index: chrome/content/ui/filters-backup.js |
| =================================================================== |
| --- a/chrome/content/ui/filters-backup.js |
| +++ b/chrome/content/ui/filters-backup.js |
| @@ -193,7 +193,7 @@ |
| if (Utils.confirm(window, warning, E("backupButton").getAttribute("_restoreDialogTitle"))) |
| { |
| - let subscriptions = FilterStorage.subscriptions.filter(function(s) s instanceof SpecialSubscription); |
| + let subscriptions = FilterStorage.subscriptions.filter(s => s instanceof SpecialSubscription); |
| for (let i = 0; i < subscriptions.length; i++) |
| FilterStorage.removeSubscription(subscriptions[i]); |
| @@ -290,7 +290,7 @@ |
| */ |
| backupCustomFilters: function(/**nsIFile*/ file) |
| { |
| - let subscriptions = FilterStorage.subscriptions.filter(function(s) s instanceof SpecialSubscription); |
| + let subscriptions = FilterStorage.subscriptions.filter(s => s instanceof SpecialSubscription); |
| let minVersion = "2.0" |
| let list = []; |
| for (let i = 0; i < subscriptions.length; i++) |