ExtJS extensions for WebSocket and Socket.IO