| Index: client/dom/generated/src/frog/HTMLDetailsElement.dart | 
| diff --git a/client/dom/generated/src/frog/HTMLDetailsElement.dart b/client/dom/generated/src/frog/HTMLDetailsElement.dart | 
| index 369d5170c3e304d885f84f7654bbeaac4ea2a23c..0d8bb05c248febee84f2af0886b66d759dbe2f4b 100644 | 
| --- a/client/dom/generated/src/frog/HTMLDetailsElement.dart | 
| +++ b/client/dom/generated/src/frog/HTMLDetailsElement.dart | 
| @@ -1,5 +1,5 @@ | 
|  | 
| -class HTMLDetailsElement extends HTMLElement native "*HTMLDetailsElement" { | 
| +class HTMLDetailsElementJS extends HTMLElementJS implements HTMLDetailsElement native "*HTMLDetailsElement" { | 
|  | 
| bool get open() native "return this.open;"; | 
|  | 
|  |