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 5bb14a1bed60edfeb7ff7b9b780777d3fa838e16..ccd36cab0c883be5adfb062fe8dac5c4b24fe7e6 100644 |
--- a/client/dom/generated/src/interface/WebSocket.dart |
+++ b/client/dom/generated/src/interface/WebSocket.dart |
@@ -30,6 +30,8 @@ interface WebSocket extends EventTarget default _WebSocketFactoryProvider { |
int get readyState(); |
+ String get url(); |
+ |
void addEventListener(String type, EventListener listener, [bool useCapture]); |
void close([int code, String reason]); |