| 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 ccd36cab0c883be5adfb062fe8dac5c4b24fe7e6..399d0b732fc428120f0a2d94b9a2b54aabf676d7 100644
|
| --- a/client/dom/generated/src/interface/WebSocket.dart
|
| +++ b/client/dom/generated/src/interface/WebSocket.dart
|
| @@ -16,21 +16,19 @@ interface WebSocket extends EventTarget default _WebSocketFactoryProvider {
|
|
|
| static final int OPEN = 1;
|
|
|
| - String get URL();
|
| + final String URL;
|
|
|
| - String get binaryType();
|
| + String binaryType;
|
|
|
| - void set binaryType(String value);
|
| + final int bufferedAmount;
|
|
|
| - int get bufferedAmount();
|
| + final String extensions;
|
|
|
| - String get extensions();
|
| + final String protocol;
|
|
|
| - String get protocol();
|
| + final int readyState;
|
|
|
| - int get readyState();
|
| -
|
| - String get url();
|
| + final String url;
|
|
|
| void addEventListener(String type, EventListener listener, [bool useCapture]);
|
|
|
|
|