Added WebSocket support for dartc and frog

client/dom/generated/wrapping_dom.js

Index: client/dom/generated/wrapping_dom.js
diff --git a/client/dom/generated/wrapping_dom.js b/client/dom/generated/wrapping_dom.js
index d38007c54d1afe4c416901d7b285f7db8783a81f..0df530d6f558c11d010e2a8aa9a4a29cebb42bbb 100644
--- a/client/dom/generated/wrapping_dom.js
+++ b/client/dom/generated/wrapping_dom.js
@@ -33850,7 +33850,6 @@ function native__TypedArrayFactoryProvider__U32(arg) {
   }
 }
 
-
 function native__WebKitCSSMatrixFactoryProvider_create(spec) {
   try {
     return __dom_wrap(new WebKitCSSMatrix(spec));  // string doesn't need unwrap.
@@ -33867,6 +33866,14 @@ function native__WebKitPointFactoryProvider_create(x, y) {
   }
 }
 
+function native__WebSocketFactoryProvider_create(url) {
+  try {
+    return __dom_wrap(new WebSocket(url));  // string doesn't need unwrap.
+  } catch (e) {
+    throw __dom_wrap_exception(e);
+  }
+}
+
 function native__XMLHttpRequestFactoryProvider_create() {
   try {
     return __dom_wrap(new XMLHttpRequest());