// https://html.spec.whatwg.org/multipage/semantics.html#htmldetailselement
[Exposed=Window]
interface HTMLDetailsElement : HTMLElement {

    [HTMLConstructor] constructor();

    [CEReactions, Reflect] attribute Utf16DOMString name;
    [CEReactions, Reflect] attribute boolean open;

};