Index: client/dom/generated/src/frog/HTMLHtmlElement.dart |
diff --git a/client/dom/generated/src/frog/HTMLHtmlElement.dart b/client/dom/generated/src/frog/HTMLHtmlElement.dart |
index 9b08baf791507727fb33750727d4d7f7811c4278..05a534a3bb7a80920263df2ca7467d5780013416 100644 |
--- a/client/dom/generated/src/frog/HTMLHtmlElement.dart |
+++ b/client/dom/generated/src/frog/HTMLHtmlElement.dart |
@@ -1,7 +1,11 @@ |
class HTMLHtmlElement extends HTMLElement native "*HTMLHtmlElement" { |
- String manifest; |
+ String get manifest() native "return this.manifest;"; |
- String version; |
+ void set manifest(String value) native "this.manifest = value;"; |
+ |
+ String get version() native "return this.version;"; |
+ |
+ void set version(String value) native "this.version = value;"; |
} |