mirror of
https://github.com/servo/servo.git
synced 2025-08-03 20:50:07 +01:00
Rename legacy extended attributes in webidls
https://github.com/whatwg/webidl/pull/870
This commit is contained in:
parent
2acdeabaf5
commit
55dac83d9a
51 changed files with 83 additions and 83 deletions
|
@ -3,7 +3,7 @@
|
|||
* file, You can obtain one at https://mozilla.org/MPL/2.0/. */
|
||||
|
||||
// https://html.spec.whatwg.org/multipage/#htmloptionelement
|
||||
[Exposed=Window, NamedConstructor=Option(optional DOMString text = "", optional DOMString value,
|
||||
[Exposed=Window, LegacyFactoryFunction=Option(optional DOMString text = "", optional DOMString value,
|
||||
optional boolean defaultSelected = false,
|
||||
optional boolean selected = false)]
|
||||
interface HTMLOptionElement : HTMLElement {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue