Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-03 12:40:06 +01:00
Code Issues Projects Releases Packages Wiki Activity

partial-fix #12415: incorrect exposure of Window,Worker in webidl

Browse source 
* HTMLParagraphElement.webidl
* HTMLParamElement.webidl
* HTMLPreElement.webidl
* HTMLProgressElement.webidl
* HTMLQuoteElement.webidl
* HTMLSelectElement.webidl
* HTMLSourceElement.webidl
* HTMLSpanElement.webidl
* HTMLStyleElement.webidl
This commit is contained in:
Jean SIMARD 2016-07-20 18:16:40 -04:00
parent cdf225c26e
commit 99b82529a8
No known key found for this signature in database
GPG key ID: 98BD56777D7767B4
10 changed files with 0 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

1
components/script/dom/webidls/HTMLPreElement.webidl
View file

@ -3,7 +3,6 @@
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
// https://html.spec.whatwg.org/multipage/#htmlpreelement
[Exposed=(Window,Worker)]
interface HTMLPreElement : HTMLElement {
// also has obsolete members
};