| Index: client/html/generated/html/dartium/HtmlElement.dart
|
| diff --git a/client/html/generated/html/dartium/HtmlElement.dart b/client/html/generated/html/dartium/HtmlElement.dart
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..3bdbb5b7dc0065f95cd033a8babef09f7855dfec
|
| --- /dev/null
|
| +++ b/client/html/generated/html/dartium/HtmlElement.dart
|
| @@ -0,0 +1,12 @@
|
| +
|
| +class _HtmlElementImpl extends _ElementImpl implements HtmlElement {
|
| + _HtmlElementImpl._wrap(ptr) : super._wrap(ptr);
|
| +
|
| + String get manifest() => _wrap(_ptr.manifest);
|
| +
|
| + void set manifest(String value) { _ptr.manifest = _unwrap(value); }
|
| +
|
| + String get version() => _wrap(_ptr.version);
|
| +
|
| + void set version(String value) { _ptr.version = _unwrap(value); }
|
| +}
|
|
|