#import <HTML/HTMLMediaElement.idl>

// https://html.spec.whatwg.org/multipage/media.html#htmlvideoelement
[Exposed=Window]
interface HTMLVideoElement : HTMLMediaElement {

    [HTMLConstructor] constructor();

    [Reflect] attribute DOMString poster;
    [Reflect=playsinline] attribute boolean playsInline;

};