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 |
index 3bdbb5b7dc0065f95cd033a8babef09f7855dfec..8cccc03ed47e75dc973ed4d63ae169a08d044bd5 100644 |
--- a/client/html/generated/html/dartium/HtmlElement.dart |
+++ b/client/html/generated/html/dartium/HtmlElement.dart |
@@ -1,12 +1,4 @@ |
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); } |
} |