| 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;
|
| }
|
|
|