| 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 1af7aa26b808b7619a2686c45d27645d48589323..39414f422cd858d06888f2d5aab5007885b80f44 100644
|
| --- a/client/dom/generated/src/interface/WebSocket.dart
|
| +++ b/client/dom/generated/src/interface/WebSocket.dart
|
| @@ -24,22 +24,6 @@ interface WebSocket extends EventTarget {
|
|
|
| String get extensions();
|
|
|
| - EventListener get onclose();
|
| -
|
| - void set onclose(EventListener value);
|
| -
|
| - EventListener get onerror();
|
| -
|
| - void set onerror(EventListener value);
|
| -
|
| - EventListener get onmessage();
|
| -
|
| - void set onmessage(EventListener value);
|
| -
|
| - EventListener get onopen();
|
| -
|
| - void set onopen(EventListener value);
|
| -
|
| String get protocol();
|
|
|
| int get readyState();
|
|
|