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