diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2020-11-19 16:54:07 +0100 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2020-11-21 14:22:40 +0100 |
| commit | a82f70ea9f98ed0a602a20f7fe8954f6e4200b25 (patch) | |
| tree | 75ef59bc0eb696fde867007a4336381b4436a67a /modules/gdscript/gdscript_warning.h | |
| parent | 48049b8d9e3830ddea5c6844997d928871c16d27 (diff) | |
[HTML5] Libraries refactor for linting.
Initial work to make liniting easier.
This includes:
- Rename http_request.js to library_godot_http_request.js.
- Rename externs.js to engine.externs.js.
- New library_godot_runtime.js (GodotRuntime) wraps around emscripten
functions.
- Refactor of XMLHttpRequest handler in engine/preloader.js.
- Few fixes to bugs spotted by early stage linting.
Diffstat (limited to 'modules/gdscript/gdscript_warning.h')
0 files changed, 0 insertions, 0 deletions