a easy to use websocket server written in php