Unified Diff: utils.js
Issue 29452181:
Noissue - Merge current tip to Edge bookmark (Closed)
Patch Set:
Created May 30, 2017, 3:49 p.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« no previous file with comments
|
« subscriptionLink.postload.js ('k')
|
no next file »
|
no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
| Index: utils.js |
| =================================================================== |
| deleted file mode 100644 |
| --- a/utils.js |
| +++ /dev/null |
| @@ -1,21 +0,0 @@ |
| -"use strict"; |
| - |
| -const {require, Services} = ext.backgroundPage.getWindow(); |
| - |
| -const {Synchronizer} = require("synchronizer"); |
| -const {Utils} = require("utils"); |
| -const {Prefs} = require("prefs"); |
| -const {FilterStorage} = require("filterStorage"); |
| -const {FilterNotifier} = require("filterNotifier"); |
| - |
| -const {Subscription, DownloadableSubscription} = require("subscriptionClasses"); |
| -const {Filter, BlockingFilter} = require("filterClasses"); |
| -const {defaultMatcher} = require("matcher"); |
| - |
| -/** |
| - * Shortcut for document.getElementById(id) |
| - */ |
| -function E(id) |
| -{ |
| - return document.getElementById(id); |
| -} |
« no previous file with comments
|
« subscriptionLink.postload.js ('k')
|
no next file »
|
no next file with comments »
