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 require(module) | 18 function require(module) |
19 { | 19 { |
| 20 if (!(module in require.scopes)) |
| 21 { |
| 22 var script = document.createElement("script"); |
| 23 script.type = "text/javascript;version=1.7"; |
| 24 script.src = "/lib/" + module + ".js"; |
| 25 script.async = false; |
| 26 document.head.appendChild(script); |
| 27 |
| 28 // Huge hack ahead: make sure that the script actually loads synchronously. |
| 29 var request = new XMLHttpRequest(); |
| 30 request.open("GET", script.src, false); |
| 31 request.send(null); |
| 32 } |
20 return require.scopes[module]; | 33 return require.scopes[module]; |
21 } | 34 } |
22 require.scopes = {}; | 35 require.scopes = {}; |
OLD | NEW |