| Index: client/dom/generated/src/interface/DOMWindow.dart
|
| diff --git a/client/dom/generated/src/interface/DOMWindow.dart b/client/dom/generated/src/interface/DOMWindow.dart
|
| index 22e095081e2a4921a5ffbb8af825d1c39948d8da..32b30f2ff926b2f82ac7aaa54e0dfdff4c6007ef 100644
|
| --- a/client/dom/generated/src/interface/DOMWindow.dart
|
| +++ b/client/dom/generated/src/interface/DOMWindow.dart
|
| @@ -500,7 +500,7 @@ interface Window extends EventTarget {
|
|
|
| DOMWindow open(String url, String name, [String options]);
|
|
|
| - void postMessage(String message, var messagePort_OR_targetOrigin, [String targetOrigin]);
|
| + void postMessage(String message, String targetOrigin);
|
|
|
| void print();
|
|
|
| @@ -534,6 +534,8 @@ interface Window extends EventTarget {
|
|
|
| WebKitPoint webkitConvertPointFromPageToNode(Node node, WebKitPoint p);
|
|
|
| + void webkitPostMessage(String message, String targetOrigin);
|
| +
|
| int webkitRequestAnimationFrame(RequestAnimationFrameCallback callback, Element element);
|
| }
|
|
|
|
|