OLD | NEW |
1 /* | 1 /* |
2 * This Source Code is subject to the terms of the Mozilla Public License | 2 * This Source Code is subject to the terms of the Mozilla Public License |
3 * version 2.0 (the "License"). You can obtain a copy of the License at | 3 * version 2.0 (the "License"). You can obtain a copy of the License at |
4 * http://mozilla.org/MPL/2.0/. | 4 * http://mozilla.org/MPL/2.0/. |
5 */ | 5 */ |
6 | 6 |
7 const Cc = Components.classes; | 7 const Cc = Components.classes; |
8 const Ci = Components.interfaces; | 8 const Ci = Components.interfaces; |
9 const Cr = Components.results; | 9 const Cr = Components.results; |
10 const Cu = Components.utils; | 10 const Cu = Components.utils; |
11 | 11 |
12 Cu.import("resource://gre/modules/Services.jsm"); | 12 Cu.import("resource://gre/modules/Services.jsm"); |
13 | 13 |
14 function require(module) | 14 function require(module) |
15 { | 15 { |
16 let result = {}; | 16 let result = {}; |
17 result.wrappedJSObject = result; | 17 result.wrappedJSObject = result; |
18 Services.obs.notifyObservers(result, "elemhidehelper-require", module); | 18 Services.obs.notifyObservers(result, "elemhidehelper-require", module); |
19 return result.exports; | 19 return result.exports; |
20 } | 20 } |
21 | 21 |
22 function E(id) document.getElementById(id); | 22 function E(id) |
| 23 { |
| 24 return document.getElementById(id); |
| 25 } |
OLD | NEW |