| 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 4ea83075106072eef0472a3f4eea8558da74d1a8..1af7aa26b808b7619a2686c45d27645d48589323 100644
|
| --- a/client/dom/generated/src/interface/WebSocket.dart
|
| +++ b/client/dom/generated/src/interface/WebSocket.dart
|
| @@ -22,6 +22,8 @@ interface WebSocket extends EventTarget {
|
|
|
| int get bufferedAmount();
|
|
|
| + String get extensions();
|
| +
|
| EventListener get onclose();
|
|
|
| void set onclose(EventListener value);
|
|
|