| Index: client/dom/generated/src/interface/WebSocket.dart
|
| diff --git a/client/dom/generated/src/interface/WebSocket.dart b/client/dom/generated/src/interface/WebSocket.dart
|
| index 39414f422cd858d06888f2d5aab5007885b80f44..24f75e49541d55d118e88ab6edb898c5998e5e8a 100644
|
| --- a/client/dom/generated/src/interface/WebSocket.dart
|
| +++ b/client/dom/generated/src/interface/WebSocket.dart
|
| @@ -4,7 +4,9 @@
|
|
|
| // WARNING: Do not edit - generated code.
|
|
|
| -interface WebSocket extends EventTarget {
|
| +interface WebSocket extends EventTarget factory _WebSocketFactoryProvider {
|
| +
|
| + WebSocket(String url);
|
|
|
| static final int CLOSED = 3;
|
|
|
|
|