| Index: chrome/content/ui/sendReport.js |
| =================================================================== |
| --- a/chrome/content/ui/sendReport.js |
| +++ b/chrome/content/ui/sendReport.js |
| @@ -263,7 +263,7 @@ |
| let hitCount = wndStats.filters[f]; |
| appendElement(filters, "filter", { |
| text: filter.text, |
| - subscriptions: filter.subscriptions.filter(subscriptionsDataSource.subscriptionFilter).map(function(s) s.url).join(" "), |
| + subscriptions: filter.subscriptions.filter(subscriptionsDataSource.subscriptionFilter).map(s => s.url).join(" "), |
| hitCount: hitCount |
| }); |
| this.origFilters.push(filter); |
| @@ -296,7 +296,7 @@ |
| let subscriptionXML = appendElement(subscriptions, "subscription", { |
| id: subscription.url, |
| - disabledFilters: subscription.filters.filter(function(filter) filter instanceof ActiveFilter && filter.disabled).length |
| + disabledFilters: subscription.filters.filter(filter => filter instanceof ActiveFilter && filter.disabled).length |
| }); |
| if (subscription.version) |
| subscriptionXML.setAttribute("version", subscription.version); |
| @@ -818,7 +818,7 @@ |
| let filtersRemoved = false; |
| let requests = requestsDataSource.origRequests; |
| for (let i = 0; i < requests.length; i++) |
| - if (requests[i].filter && !requests[i].filter.subscriptions.filter(function(s) !s.disabled).length) |
| + if (requests[i].filter && !requests[i].filter.subscriptions.filter(s => !s.disabled).length) |
| filtersRemoved = true; |
| if (filtersRemoved) |
| @@ -970,7 +970,7 @@ |
| continue; |
| this.numAppliedFilters++; |
| - if (filter.subscriptions.some(function(subscription) subscription instanceof SpecialSubscription)) |
| + if (filter.subscriptions.some(subscription => subscription instanceof SpecialSubscription)) |
| this.ownFilters.push(filter); |
| } |
| } |