A Websockets server written in PHP.