Index: client/html/generated/html/interface/WebSocket.dart |
diff --git a/client/html/generated/html/interface/WebSocket.dart b/client/html/generated/html/interface/WebSocket.dart |
index 99a952ed28c9de00184763a600348401df6b49fa..5df70954951e9718257db1396a43073ad969a3f0 100644 |
--- a/client/html/generated/html/interface/WebSocket.dart |
+++ b/client/html/generated/html/interface/WebSocket.dart |
@@ -6,6 +6,8 @@ |
interface WebSocket extends EventTarget { |
+ WebSocketEvents get on(); |
+ |
static final int CLOSED = 3; |
static final int CLOSING = 2; |
@@ -28,8 +30,6 @@ interface WebSocket extends EventTarget { |
final String url; |
- WebSocketEvents get on(); |
- |
void _addEventListener(String type, EventListener listener, [bool useCapture]); |
void close([int code, String reason]); |