summaryrefslogtreecommitdiffstats
path: root/platform/web/.eslintrc.libs.js
diff options
context:
space:
mode:
authorFabio Alessandrelli <fabio.alessandrelli@gmail.com>2022-08-28 20:27:45 +0200
committerFabio Alessandrelli <fabio.alessandrelli@gmail.com>2022-08-29 11:52:00 +0200
commitd20b32186fc192f5e527a1211291b0cb293f4e66 (patch)
tree20f5e9e84e10b68c318f576344a10a9fc63d235f /platform/web/.eslintrc.libs.js
parent223e083d36ac1ca3f7aa46898d8870e476132f7a (diff)
downloadredot-engine-d20b32186fc192f5e527a1211291b0cb293f4e66.tar.gz
[Web] Rename JavaScript platform to Web.
Also rename export name from "HTML5" to "Web".
Diffstat (limited to 'platform/web/.eslintrc.libs.js')
-rw-r--r--platform/web/.eslintrc.libs.js26
1 files changed, 26 insertions, 0 deletions
diff --git a/platform/web/.eslintrc.libs.js b/platform/web/.eslintrc.libs.js
new file mode 100644
index 0000000000..8e579fd462
--- /dev/null
+++ b/platform/web/.eslintrc.libs.js
@@ -0,0 +1,26 @@
+module.exports = {
+ "extends": [
+ "./.eslintrc.js",
+ ],
+ "globals": {
+ "LibraryManager": true,
+ "mergeInto": true,
+ "autoAddDeps": true,
+ "HEAP8": true,
+ "HEAPU8": true,
+ "HEAP32": true,
+ "HEAPF32": true,
+ "ERRNO_CODES": true,
+ "FS": true,
+ "IDBFS": true,
+ "GodotOS": true,
+ "GodotConfig": true,
+ "GodotEventListeners": true,
+ "GodotRuntime": true,
+ "GodotFS": true,
+ "IDHandler": true,
+ "Browser": true,
+ "GL": true,
+ "XRWebGLLayer": true,
+ },
+};