| 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 |