PHP Websocket undefined in Edge Browser PHP Websocket undefined in Edge Browser php php