Index: sdk/lib/html/dartium/html_dartium.dart |
diff --git a/sdk/lib/html/dartium/html_dartium.dart b/sdk/lib/html/dartium/html_dartium.dart |
index 619bc74f9ad629167624745b98d3ef1371a23d36..2cbde772bb0464dcd76e3f674b0a07d43508e260 100644 |
--- a/sdk/lib/html/dartium/html_dartium.dart |
+++ b/sdk/lib/html/dartium/html_dartium.dart |
@@ -25433,6 +25433,10 @@ class WebKitNamedFlow extends EventTarget { |
/// @domName WebSocket |
+@SupportedBrowser(SupportedBrowser.CHROME) |
+@SupportedBrowser(SupportedBrowser.FIREFOX) |
+@SupportedBrowser(SupportedBrowser.IE, '10') |
+@SupportedBrowser(SupportedBrowser.SAFARI) |
class WebSocket extends EventTarget { |
WebSocket.internal() : super.internal(); |
@@ -25440,6 +25444,11 @@ class WebSocket extends EventTarget { |
factory WebSocket(String url) => WebSocket._create(url); |
static WebSocket _create(String url) native "WebSocket_constructor_Callback"; |
+ /** |
+ * Checks if this type is supported on the current platform |
+ */ |
+ static bool get supported => true; |
+ |
/// @domName EventTarget.addEventListener, EventTarget.removeEventListener, EventTarget.dispatchEvent; @docsEditable true |
WebSocketEvents get on => |
new WebSocketEvents(this); |