mirror of
https://github.com/servo/servo.git
synced 2025-08-01 03:30:33 +01:00
Partial fix for #12415: DOM interfaces
This commit is contained in:
parent
bfd966f819
commit
9af35e8a25
3 changed files with 1 additions and 4 deletions
|
@ -3,7 +3,7 @@
|
|||
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
||||
|
||||
// https://html.spec.whatwg.org/multipage/#the-domstringmap-interface
|
||||
[OverrideBuiltins, Exposed=(Window,Worker)]
|
||||
[OverrideBuiltins]
|
||||
interface DOMStringMap {
|
||||
getter DOMString (DOMString name);
|
||||
[Throws]
|
||||
|
|
|
@ -3,7 +3,6 @@
|
|||
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
||||
|
||||
// https://dom.spec.whatwg.org/#domtokenlist
|
||||
[Exposed=(Window,Worker)]
|
||||
interface DOMTokenList {
|
||||
[Pure]
|
||||
readonly attribute unsigned long length;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue