| Index: client/dom/generated/src/frog/HTMLTitleElement.dart
|
| diff --git a/client/dom/generated/src/frog/HTMLTitleElement.dart b/client/dom/generated/src/frog/HTMLTitleElement.dart
|
| index d8bb635d0145aeaf7b570b46e7402511372eed80..388f6231afc68e13a98f248f89d7a04f87a88ecc 100644
|
| --- a/client/dom/generated/src/frog/HTMLTitleElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLTitleElement.dart
|
| @@ -1,5 +1,5 @@
|
|
|
| -class HTMLTitleElement extends HTMLElement native "*HTMLTitleElement" {
|
| +class HTMLTitleElementJS extends HTMLElementJS implements HTMLTitleElement native "*HTMLTitleElement" {
|
|
|
| String get text() native "return this.text;";
|
|
|
|
|