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++) |