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