the WebSocket Type in HTML5.markdown