mirror of
https://github.com/servo/servo.git
synced 2025-07-23 15:23:42 +01:00
Remove deprecated 'creator' WebIDL attribute
According to @Ms2ger, the 'creator' attribute was merged into 'setter'
This commit is contained in:
parent
6c6c6663ab
commit
d8da5c20f6
9 changed files with 5 additions and 22 deletions
|
@ -23,7 +23,7 @@ interface HTMLSelectElement : HTMLElement {
|
|||
void add((HTMLOptionElement or HTMLOptGroupElement) element, optional (HTMLElement or long)? before = null);
|
||||
//void remove(); // ChildNode overload
|
||||
//void remove(long index);
|
||||
//setter creator void (unsigned long index, HTMLOptionElement? option);
|
||||
//setter void (unsigned long index, HTMLOptionElement? option);
|
||||
|
||||
//readonly attribute HTMLCollection selectedOptions;
|
||||
// attribute long selectedIndex;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue