WebSocket client and server in PHP