| Index: client/dom/generated/src/frog/HTMLHeadElement.dart
|
| diff --git a/client/dom/generated/src/frog/HTMLHeadElement.dart b/client/dom/generated/src/frog/HTMLHeadElement.dart
|
| index fc6c2404857bf4407f5ca2b2df6b2d1b30d764ed..e5f718841be74873d1a56063eb81cb9004dfb690 100644
|
| --- a/client/dom/generated/src/frog/HTMLHeadElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLHeadElement.dart
|
| @@ -1,5 +1,5 @@
|
|
|
| -class HTMLHeadElement extends HTMLElement native "*HTMLHeadElement" {
|
| +class HTMLHeadElementJS extends HTMLElementJS implements HTMLHeadElement native "*HTMLHeadElement" {
|
|
|
| String get profile() native "return this.profile;";
|
|
|
|
|