| Index: sdk/lib/html/dart2js/html_dart2js.dart
|
| diff --git a/sdk/lib/html/dart2js/html_dart2js.dart b/sdk/lib/html/dart2js/html_dart2js.dart
|
| index d69dd9bd9223d3863e7c9f1fd85798d54124418d..768ef7116d8682d10875f6e7ab95cbec208b86eb 100644
|
| --- a/sdk/lib/html/dart2js/html_dart2js.dart
|
| +++ b/sdk/lib/html/dart2js/html_dart2js.dart
|
| @@ -21071,12 +21071,21 @@ class WebKitNamedFlow extends EventTarget native "*WebKitNamedFlow" {
|
|
|
|
|
| /// @domName WebSocket; @docsEditable true
|
| +@SupportedBrowser(SupportedBrowser.CHROME)
|
| +@SupportedBrowser(SupportedBrowser.FIREFOX)
|
| +@SupportedBrowser(SupportedBrowser.IE, '10')
|
| +@SupportedBrowser(SupportedBrowser.SAFARI)
|
| class WebSocket extends EventTarget native "*WebSocket" {
|
|
|
| ///@docsEditable true
|
| factory WebSocket(String url) => WebSocket._create(url);
|
| static WebSocket _create(String url) => JS('WebSocket', 'new WebSocket(#)', url);
|
|
|
| + /**
|
| + * Checks if this type is supported on the current platform
|
| + */
|
| + static bool get supported => JS('bool', 'typeof window.WebSocket != "undefined"');
|
| +
|
| /// @domName EventTarget.addEventListener, EventTarget.removeEventListener, EventTarget.dispatchEvent; @docsEditable true
|
| WebSocketEvents get on =>
|
| new WebSocketEvents(this);
|
|
|