A basic WebSockets extension for the HTML5 Runtime of Clickteam Fusion 2.5