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