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