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]); |