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
..
WebSocketClient.xml
WebSocketMultiplayerPeer.xml
WebSocketPeer.xml
WebSocketServer.xml