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

…

editor

…

config.py

…

emws_client.cpp

…

emws_client.h

…

emws_peer.cpp

…

emws_peer.h

…

library_godot_websocket.js

…

packet_buffer.h

…

register_types.cpp

…

register_types.h

…

remote_debugger_peer_websocket.cpp

…

remote_debugger_peer_websocket.h

…

SCsub

…

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

…

wsl_client.h

…

wsl_peer.cpp

…

wsl_peer.h

…

wsl_server.cpp

…

wsl_server.h

…