Index: client/html/generated/html/interface/MessagePort.dart |
diff --git a/client/html/generated/html/interface/MessagePort.dart b/client/html/generated/html/interface/MessagePort.dart |
index a5e106e3372756aceb4e41ae04a70b7e33738066..30addc90b46fa573ab921af415fcc5f4eb0e2ce0 100644 |
--- a/client/html/generated/html/interface/MessagePort.dart |
+++ b/client/html/generated/html/interface/MessagePort.dart |
@@ -8,16 +8,10 @@ interface MessagePort extends EventTarget { |
MessagePortEvents get on(); |
- void _addEventListener(String type, EventListener listener, [bool useCapture]); |
- |
void close(); |
- bool _dispatchEvent(Event evt); |
- |
void postMessage(String message, [List messagePorts]); |
- void _removeEventListener(String type, EventListener listener, [bool useCapture]); |
- |
void start(); |
void webkitPostMessage(String message, [List transfer]); |