$debug("Defining HTMLOptGroupElement"); /* * HTMLOptGroupElement - DOM Level 2 */ var HTMLOptGroupElement = function(ownerDocument) { this.HTMLElement = HTMLElement; this.HTMLElement(ownerDocument); }; HTMLOptGroupElement.prototype = new HTMLElement; __extend__(HTMLOptGroupElement.prototype, { get disabled(){ return this.getAttribute('disabled'); }, set disabled(value){ this.setAttribute('disabled',value); }, get label(){ return this.getAttribute('label'); }, set label(value){ this.setAttribute('label',value); } }); // $w.HTMLOptGroupElement = HTMLOptGroupElement;