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