From d20b32186fc192f5e527a1211291b0cb293f4e66 Mon Sep 17 00:00:00 2001 From: Fabio Alessandrelli Date: Sun, 28 Aug 2022 20:27:45 +0200 Subject: [Web] Rename JavaScript platform to Web. Also rename export name from "HTML5" to "Web". --- platform/javascript/js/engine/engine.externs.js | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 platform/javascript/js/engine/engine.externs.js (limited to 'platform/javascript/js/engine/engine.externs.js') diff --git a/platform/javascript/js/engine/engine.externs.js b/platform/javascript/js/engine/engine.externs.js deleted file mode 100644 index 35a66a93ae..0000000000 --- a/platform/javascript/js/engine/engine.externs.js +++ /dev/null @@ -1,4 +0,0 @@ -var Godot; -var WebAssembly = {}; -WebAssembly.instantiate = function(buffer, imports) {}; -WebAssembly.instantiateStreaming = function(response, imports) {}; -- cgit v1.2.3