| Index: client/dom/src/_FactoryProviders.dart
|
| diff --git a/client/dom/src/_FactoryProviders.dart b/client/dom/src/_FactoryProviders.dart
|
| index ccf83401be0019abc7797af0ef48e1692e103c42..b2d40c1c7981d85ddcae2caaaa3af2f423c12db2 100644
|
| --- a/client/dom/src/_FactoryProviders.dart
|
| +++ b/client/dom/src/_FactoryProviders.dart
|
| @@ -81,6 +81,13 @@ class _WebKitPointFactoryProvider {
|
| static WebKitPoint create(x, y) native;
|
| }
|
|
|
| +class _WebSocketFactoryProvider {
|
| +
|
| + factory WebSocket(String url) { return create(url); }
|
| +
|
| + static WebKitPoint create(url) native;
|
| +}
|
| +
|
| class _XMLHttpRequestFactoryProvider {
|
|
|
| factory XMLHttpRequest() { return create(); }
|
|
|