mirror of
https://github.com/servo/servo
synced 2026-04-27 09:57:23 +02:00
Fix #3933
This commit is contained in:
@@ -6,12 +6,12 @@
|
||||
// http://www.whatwg.org/html/#htmloptionelement
|
||||
//[NamedConstructor=Option(optional DOMString text = "", optional DOMString value, optional boolean defaultSelected = false, optional boolean selected = false)]
|
||||
interface HTMLOptionElement : HTMLElement {
|
||||
attribute boolean disabled;
|
||||
attribute boolean disabled;
|
||||
//readonly attribute HTMLFormElement? form;
|
||||
// attribute DOMString label;
|
||||
attribute DOMString label;
|
||||
// attribute boolean defaultSelected;
|
||||
// attribute boolean selected;
|
||||
// attribute DOMString value;
|
||||
attribute DOMString value;
|
||||
|
||||
attribute DOMString text;
|
||||
//readonly attribute long index;
|
||||
|
||||
Reference in New Issue
Block a user