Left: | ||
Right: |
LEFT | RIGHT |
---|---|
1 "use strict"; | 1 "use strict"; |
2 | 2 |
3 const backgroundPage = ext.backgroundPage.getWindow(); | 3 const {require, Services} = ext.backgroundPage.getWindow(); |
4 const {require, Services} = backgroundPage; | |
Sebastian Noack
2017/01/18 11:24:30
Note that backgroundPage isn't used anywhere else,
kzar
2017/01/18 11:46:41
Done.
| |
5 | 4 |
6 const {Synchronizer} = require("synchronizer"); | 5 const {Synchronizer} = require("synchronizer"); |
7 const {Utils} = require("utils"); | 6 const {Utils} = require("utils"); |
8 const {Prefs} = require("prefs"); | 7 const {Prefs} = require("prefs"); |
9 const {FilterStorage} = require("filterStorage"); | 8 const {FilterStorage} = require("filterStorage"); |
10 const {FilterNotifier} = require("filterNotifier"); | 9 const {FilterNotifier} = require("filterNotifier"); |
11 | 10 |
12 const {Subscription, DownloadableSubscription} = require("subscriptionClasses"); | 11 const {Subscription, DownloadableSubscription} = require("subscriptionClasses"); |
13 const {Filter, BlockingFilter} = require("filterClasses"); | 12 const {Filter, BlockingFilter} = require("filterClasses"); |
14 const {defaultMatcher} = require("matcher"); | 13 const {defaultMatcher} = require("matcher"); |
15 | 14 |
16 /** | 15 /** |
17 * Shortcut for document.getElementById(id) | 16 * Shortcut for document.getElementById(id) |
18 */ | 17 */ |
19 function E(id) | 18 function E(id) |
20 { | 19 { |
21 return document.getElementById(id); | 20 return document.getElementById(id); |
22 } | 21 } |
LEFT | RIGHT |