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