Add initial WebSocketExtensions.js