module html {
interface [
GenerateNativeConverter,
CustomPushEventHandlerScope
] HTMLElement : Element {
attribute [Reflect] DOMString id;
attribute [Reflect] DOMString title;
attribute [Reflect] DOMString lang;
attribute [Reflect] DOMString dir;
attribute [Reflect=class] DOMString className;
readonly attribute DOMTokenList classList;
attribute long tabIndex;
attribute boolean draggable;
attribute [Reflect] boolean hidden;
attribute [ConvertNullToNullString] DOMString innerHTML
setter raises(DOMException);
attribute [ConvertNullToNullString] DOMString innerText
setter raises(DOMException);
attribute [ConvertNullToNullString] DOMString outerHTML
setter raises(DOMException);
attribute [ConvertNullToNullString] DOMString outerText
setter raises(DOMException);
Element insertAdjacentElement(in DOMString where,
in Element element)
raises(DOMException);
void insertAdjacentHTML(in DOMString where,
in DOMString html)
raises(DOMException);
void insertAdjacentText(in DOMString where,
in DOMString text)
raises(DOMException);
readonly attribute HTMLCollection children;
attribute [ConvertNullToNullString] DOMString contentEditable
setter raises(DOMException);
readonly attribute boolean isContentEditable;
attribute boolean spellcheck;
#