Index: client/dom/generated/src/interface/HTMLHtmlElement.dart |
diff --git a/client/dom/generated/src/interface/HTMLHtmlElement.dart b/client/dom/generated/src/interface/HTMLHtmlElement.dart |
index e15016001936552be2c8089f82d6746c47594f42..b4379bc1dfc0ac3664376cba539954113218188e 100644 |
--- a/client/dom/generated/src/interface/HTMLHtmlElement.dart |
+++ b/client/dom/generated/src/interface/HTMLHtmlElement.dart |
@@ -6,11 +6,7 @@ |
interface HTMLHtmlElement extends HTMLElement { |
- String get manifest(); |
+ String manifest; |
- void set manifest(String value); |
- |
- String get version(); |
- |
- void set version(String value); |
+ String version; |
} |