| OLD | NEW |
| 1 var backgroundPage = ext.backgroundPage.getWindow(); | 1 "use strict"; |
| 2 var require = backgroundPage.require; | |
| 3 | 2 |
| 4 var Services = backgroundPage.Services; | 3 const {require, Services} = ext.backgroundPage.getWindow(); |
| 5 var Synchronizer = require("synchronizer").Synchronizer; | |
| 6 var Utils = require("utils").Utils; | |
| 7 var Prefs = require("prefs").Prefs; | |
| 8 var FilterStorage = require("filterStorage").FilterStorage; | |
| 9 var FilterNotifier = require("filterNotifier").FilterNotifier; | |
| 10 | 4 |
| 11 var subscriptionClasses = require("subscriptionClasses"); | 5 const {Synchronizer} = require("synchronizer"); |
| 12 var Subscription = subscriptionClasses.Subscription; | 6 const {Utils} = require("utils"); |
| 13 var DownloadableSubscription = subscriptionClasses.DownloadableSubscription; | 7 const {Prefs} = require("prefs"); |
| 14 var filterClasses = require("filterClasses"); | 8 const {FilterStorage} = require("filterStorage"); |
| 15 var Filter = filterClasses.Filter; | 9 const {FilterNotifier} = require("filterNotifier"); |
| 16 var BlockingFilter = filterClasses.BlockingFilter; | 10 |
| 17 var defaultMatcher = require("matcher").defaultMatcher; | 11 const {Subscription, DownloadableSubscription} = require("subscriptionClasses"); |
| 12 const {Filter, BlockingFilter} = require("filterClasses"); |
| 13 const {defaultMatcher} = require("matcher"); |
| 18 | 14 |
| 19 /** | 15 /** |
| 20 * Shortcut for document.getElementById(id) | 16 * Shortcut for document.getElementById(id) |
| 21 */ | 17 */ |
| 22 function E(id) | 18 function E(id) |
| 23 { | 19 { |
| 24 return document.getElementById(id); | 20 return document.getElementById(id); |
| 25 } | 21 } |
| OLD | NEW |