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 16765f5cf02c5fd5c3b25a1fe5e4eab9055da435..3796053f919caf71ca78d8ad902e0bc5720cf07f 100644 |
--- a/client/dom/generated/src/frog/HTMLHtmlElement.dart |
+++ b/client/dom/generated/src/frog/HTMLHtmlElement.dart |
@@ -1,11 +1,7 @@ |
class _HTMLHtmlElementJs extends _HTMLElementJs implements HTMLHtmlElement native "*HTMLHtmlElement" { |
- String get manifest() native "return this.manifest;"; |
+ String manifest; |
- 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;"; |
+ String version; |
} |