interface HTMLDetailsElement : HTMLElement { [Reflect] attribute boolean open; };