Fabio Alessandrelli d20b32186f [Web] Rename JavaScript platform to Web. ...

Also rename export name from "HTML5" to "Web".

2022-08-29 11:52:00 +02:00

..

doc_classes

[Web] Rename JavaScript platform to Web.

2022-08-29 11:52:00 +02:00

editor

…

config.py

…

emws_client.cpp

[Web] Rename JavaScript platform to Web.

2022-08-29 11:52:00 +02:00

emws_client.h

[Web] Rename JavaScript platform to Web.

2022-08-29 11:52:00 +02:00

emws_peer.cpp

[Web] Rename JavaScript platform to Web.

2022-08-29 11:52:00 +02:00

emws_peer.h

[Web] Rename JavaScript platform to Web.

2022-08-29 11:52:00 +02:00

library_godot_websocket.js

…

packet_buffer.h

…

register_types.cpp

[Web] Rename JavaScript platform to Web.

2022-08-29 11:52:00 +02:00

register_types.h

…

remote_debugger_peer_websocket.cpp

[Web] Rename JavaScript platform to Web.

2022-08-29 11:52:00 +02:00

remote_debugger_peer_websocket.h

[Web] Rename JavaScript platform to Web.

2022-08-29 11:52:00 +02:00

SCsub

[Web] Rename JavaScript platform to Web.

2022-08-29 11:52:00 +02:00

websocket_client.cpp

…

websocket_client.h

…

websocket_macros.h

…

websocket_multiplayer_peer.cpp

…

websocket_multiplayer_peer.h

…

websocket_peer.cpp

…

websocket_peer.h

…

websocket_server.cpp

…

websocket_server.h

…

wsl_client.cpp

[Web] Rename JavaScript platform to Web.

2022-08-29 11:52:00 +02:00

wsl_client.h

[Web] Rename JavaScript platform to Web.

2022-08-29 11:52:00 +02:00

wsl_peer.cpp

[Web] Rename JavaScript platform to Web.

2022-08-29 11:52:00 +02:00

wsl_peer.h

[Web] Rename JavaScript platform to Web.

2022-08-29 11:52:00 +02:00

wsl_server.cpp

[Web] Rename JavaScript platform to Web.

2022-08-29 11:52:00 +02:00

wsl_server.h

[Web] Rename JavaScript platform to Web.

2022-08-29 11:52:00 +02:00