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 5df70954951e9718257db1396a43073ad969a3f0..f5c3e703137de91702d0e27f707e220aca3d99f8 100644 |
--- a/client/html/generated/html/interface/WebSocket.dart |
+++ b/client/html/generated/html/interface/WebSocket.dart |
@@ -30,14 +30,8 @@ interface WebSocket extends EventTarget { |
final String url; |
- void _addEventListener(String type, EventListener listener, [bool useCapture]); |
- |
void close([int code, String reason]); |
- bool _dispatchEvent(Event evt); |
- |
- void _removeEventListener(String type, EventListener listener, [bool useCapture]); |
- |
bool send(String data); |
} |