PHP extension for writing WebSocket servers in PHP.