#import <HTML/HTMLElement.idl>

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

    [HTMLConstructor] constructor();

    [Reflect] attribute DOMString version;

};