| LEFT | RIGHT |
| 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 // Shortcut for document.getElementById(id) | |
| 16 function E(id) | |
| 17 { | |
| 18 return document.getElementById(id); | |
| 19 } | |
| LEFT | RIGHT |