Left: | ||
Right: |
OLD | NEW |
---|---|
1 /* | 1 /* |
2 * This file is part of Adblock Plus <http://adblockplus.org/>, | 2 * This file is part of Adblock Plus <http://adblockplus.org/>, |
3 * Copyright (C) 2006-2014 Eyeo GmbH | 3 * Copyright (C) 2006-2014 Eyeo GmbH |
4 * | 4 * |
5 * Adblock Plus is free software: you can redistribute it and/or modify | 5 * Adblock Plus is free software: you can redistribute it and/or modify |
6 * it under the terms of the GNU General Public License version 3 as | 6 * it under the terms of the GNU General Public License version 3 as |
7 * published by the Free Software Foundation. | 7 * published by the Free Software Foundation. |
8 * | 8 * |
9 * Adblock Plus is distributed in the hope that it will be useful, | 9 * Adblock Plus is distributed in the hope that it will be useful, |
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of | 10 * but WITHOUT ANY WARRANTY; without even the implied warranty of |
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | 11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
12 * GNU General Public License for more details. | 12 * GNU General Public License for more details. |
13 * | 13 * |
14 * You should have received a copy of the GNU General Public License | 14 * You should have received a copy of the GNU General Public License |
15 * along with Adblock Plus. If not, see <http://www.gnu.org/licenses/>. | 15 * along with Adblock Plus. If not, see <http://www.gnu.org/licenses/>. |
16 */ | 16 */ |
17 | 17 |
18 function addScript(url) | 18 function addScript(url) |
19 { | 19 { |
20 var script = document.createElement("script"); | 20 var script = document.createElement("script"); |
21 script.src = url; | 21 script.src = url; |
22 if (js17supported) | 22 if (!js17supported) |
23 script.type = "text/javascript;version=1.7"; | |
24 else | |
25 script.src += "?backcompat"; | 23 script.src += "?backcompat"; |
26 script.async = false; | 24 script.async = false; |
27 document.head.appendChild(script); | 25 document.head.appendChild(script); |
28 return script; | 26 return script; |
29 } | 27 } |
30 | 28 |
31 function require(module) | 29 function require(module) |
32 { | 30 { |
31 if (require.modules.hasOwnProperty(module)) | |
32 { | |
33 require.scopes[module] = evalModule(require.modules[module]); | |
34 delete require.modules[module]; | |
35 } | |
33 return require.scopes[module]; | 36 return require.scopes[module]; |
34 } | 37 } |
35 require.scopes = {}; | 38 require.scopes = {}; |
39 require.modules = {}; | |
Felix Dahlke
2015/02/03 06:21:16
Have you considered calling this "sources"? Seems
Wladimir Palant
2015/02/03 16:26:04
Done.
| |
OLD | NEW |