| Index: client/dom/generated/src/frog/HTMLHeadingElement.dart
|
| diff --git a/client/dom/generated/src/frog/HTMLHeadingElement.dart b/client/dom/generated/src/frog/HTMLHeadingElement.dart
|
| index c51a92a0eb7575d9f3e8a90cb927b34bc79db9e5..e7c3f3c0edc26ddb4c21351563733611735b1ea1 100644
|
| --- a/client/dom/generated/src/frog/HTMLHeadingElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLHeadingElement.dart
|
| @@ -1,5 +1,5 @@
|
|
|
| -class HTMLHeadingElement extends HTMLElement native "*HTMLHeadingElement" {
|
| +class HTMLHeadingElementJS extends HTMLElementJS implements HTMLHeadingElement native "*HTMLHeadingElement" {
|
|
|
| String get align() native "return this.align;";
|
|
|
|
|