Currently in developent , WebSocket Server for use with PHP.