#import #import interface HTMLIFrameElement : HTMLElement { [Reflect] attribute DOMString src; [Reflect] attribute DOMString srcdoc; [Reflect] attribute DOMString name; [Reflect] attribute DOMString allow; [Reflect] attribute DOMString width; [Reflect] attribute DOMString height; [Reflect=allowfullscreen] attribute boolean allowFullscreen; readonly attribute Document? contentDocument; // FIXME: Should return a WindowProxy? readonly attribute Window? contentWindow; [Reflect] attribute DOMString align; [Reflect] attribute DOMString scrolling; [Reflect=frameborder] attribute DOMString frameBorder; [LegacyNullToEmptyString, Reflect=marginheight] attribute DOMString marginHeight; [LegacyNullToEmptyString, Reflect=marginwidth] attribute DOMString marginWidth; Document? getSVGDocument(); };