| Index: client/dom/generated/src/interface/Worker.dart
|
| diff --git a/client/dom/generated/src/interface/Worker.dart b/client/dom/generated/src/interface/Worker.dart
|
| index d6daa9887a99eb68a2ea8a4323e55032b662ad6f..4a4cc29539e24bf3fe4be6294ccc6ac1c370677d 100644
|
| --- a/client/dom/generated/src/interface/Worker.dart
|
| +++ b/client/dom/generated/src/interface/Worker.dart
|
| @@ -10,7 +10,9 @@ interface Worker extends AbstractWorker {
|
|
|
| void set onmessage(EventListener value);
|
|
|
| - void postMessage(String message, [MessagePort messagePort]);
|
| + void postMessage(String message, [List messagePorts]);
|
|
|
| void terminate();
|
| +
|
| + void webkitPostMessage(String message, [List messagePorts]);
|
| }
|
|
|