websocket-server - WebSocket-Komponente für PHP auf Basis des Amp HTTP-Servers.