mirror of
https://github.com/servo/servo.git
synced 2025-08-05 13:40:08 +01:00
Auto merge of #12533 - woshilapin:fix-12415/htmlt-htmlv, r=jdm
partial-fix #12415: incorrect exposure of Window,Worker in webidl <!-- Please describe your changes on the following line: --> --- <!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `__` with appropriate data: --> - [X] `./mach build -d` does not report any errors - [X] `./mach test-tidy` does not report any errors - [X] These changes fix (partially) #12415 (github issue number if applicable). <!-- Either: --> - [ ] There are tests for these changes OR - [X] These changes do not require tests because they don't add any feature <!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. --> * HTMLTemplateElement.webidl [[spec](https://html.spec.whatwg.org/multipage/scripting.html#htmltemplateelement)] * HTMLTextAreaElement.webidl [[spec](https://html.spec.whatwg.org/multipage/forms.html#htmltextareaelement)] * HTMLTimeElement.webidl [[spec](https://html.spec.whatwg.org/multipage/semantics.html#htmltimeelement)] * HTMLTitleElement.webidl [[spec](https://html.spec.whatwg.org/multipage/semantics.html#htmltitleelement)] * HTMLTrackElement.webidl [[spec](https://html.spec.whatwg.org/multipage/embedded-content.html#htmltrackelement)] * HTMLUnknownElement.webidl [[spec](https://html.spec.whatwg.org/multipage/semantics.html#htmlunknownelement)] * HTMLUListElement.webidl [[spec](https://html.spec.whatwg.org/multipage/semantics.html#htmlulistelement)] * HTMLVideoElement.webidl [[spec](https://html.spec.whatwg.org/multipage/embedded-content.html#htmlvideoelement)] <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/12533) <!-- Reviewable:end -->
This commit is contained in:
commit
ccc4b41d36
9 changed files with 0 additions and 16 deletions
|
@ -3,7 +3,6 @@
|
||||||
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
||||||
|
|
||||||
// https://html.spec.whatwg.org/multipage/#htmltemplateelement
|
// https://html.spec.whatwg.org/multipage/#htmltemplateelement
|
||||||
[Exposed=(Window,Worker)]
|
|
||||||
interface HTMLTemplateElement : HTMLElement {
|
interface HTMLTemplateElement : HTMLElement {
|
||||||
readonly attribute DocumentFragment content;
|
readonly attribute DocumentFragment content;
|
||||||
};
|
};
|
||||||
|
|
|
@ -3,7 +3,6 @@
|
||||||
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
||||||
|
|
||||||
// https://html.spec.whatwg.org/multipage/#htmltextareaelement
|
// https://html.spec.whatwg.org/multipage/#htmltextareaelement
|
||||||
[Exposed=(Window,Worker)]
|
|
||||||
interface HTMLTextAreaElement : HTMLElement {
|
interface HTMLTextAreaElement : HTMLElement {
|
||||||
// attribute DOMString autocomplete;
|
// attribute DOMString autocomplete;
|
||||||
// attribute boolean autofocus;
|
// attribute boolean autofocus;
|
||||||
|
|
|
@ -3,7 +3,6 @@
|
||||||
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
||||||
|
|
||||||
// https://html.spec.whatwg.org/multipage/#htmltimeelement
|
// https://html.spec.whatwg.org/multipage/#htmltimeelement
|
||||||
[Exposed=(Window,Worker)]
|
|
||||||
interface HTMLTimeElement : HTMLElement {
|
interface HTMLTimeElement : HTMLElement {
|
||||||
// attribute DOMString dateTime;
|
// attribute DOMString dateTime;
|
||||||
};
|
};
|
||||||
|
|
|
@ -3,7 +3,6 @@
|
||||||
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
||||||
|
|
||||||
// https://html.spec.whatwg.org/multipage/#htmltitleelement
|
// https://html.spec.whatwg.org/multipage/#htmltitleelement
|
||||||
[Exposed=(Window,Worker)]
|
|
||||||
interface HTMLTitleElement : HTMLElement {
|
interface HTMLTitleElement : HTMLElement {
|
||||||
[Pure]
|
[Pure]
|
||||||
attribute DOMString text;
|
attribute DOMString text;
|
||||||
|
|
|
@ -3,7 +3,6 @@
|
||||||
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
||||||
|
|
||||||
// https://html.spec.whatwg.org/multipage/#htmltrackelement
|
// https://html.spec.whatwg.org/multipage/#htmltrackelement
|
||||||
[Exposed=(Window,Worker)]
|
|
||||||
interface HTMLTrackElement : HTMLElement {
|
interface HTMLTrackElement : HTMLElement {
|
||||||
// attribute DOMString kind;
|
// attribute DOMString kind;
|
||||||
// attribute DOMString src;
|
// attribute DOMString src;
|
||||||
|
|
|
@ -3,7 +3,6 @@
|
||||||
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
||||||
|
|
||||||
// https://html.spec.whatwg.org/multipage/#htmlulistelement
|
// https://html.spec.whatwg.org/multipage/#htmlulistelement
|
||||||
[Exposed=(Window,Worker)]
|
|
||||||
interface HTMLUListElement : HTMLElement {
|
interface HTMLUListElement : HTMLElement {
|
||||||
// also has obsolete members
|
// also has obsolete members
|
||||||
};
|
};
|
||||||
|
|
|
@ -11,6 +11,5 @@
|
||||||
* and create derivative works of this document.
|
* and create derivative works of this document.
|
||||||
*/
|
*/
|
||||||
|
|
||||||
[Exposed=(Window,Worker)]
|
|
||||||
interface HTMLUnknownElement : HTMLElement {
|
interface HTMLUnknownElement : HTMLElement {
|
||||||
};
|
};
|
||||||
|
|
|
@ -3,7 +3,6 @@
|
||||||
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
||||||
|
|
||||||
// https://html.spec.whatwg.org/multipage/#htmlvideoelement
|
// https://html.spec.whatwg.org/multipage/#htmlvideoelement
|
||||||
[Exposed=(Window,Worker)]
|
|
||||||
interface HTMLVideoElement : HTMLMediaElement {
|
interface HTMLVideoElement : HTMLMediaElement {
|
||||||
// attribute unsigned long width;
|
// attribute unsigned long width;
|
||||||
// attribute unsigned long height;
|
// attribute unsigned long height;
|
||||||
|
|
|
@ -110,14 +110,6 @@ test_interfaces([
|
||||||
"HTMLTableHeaderCellElement",
|
"HTMLTableHeaderCellElement",
|
||||||
"HTMLTableRowElement",
|
"HTMLTableRowElement",
|
||||||
"HTMLTableSectionElement",
|
"HTMLTableSectionElement",
|
||||||
"HTMLTemplateElement",
|
|
||||||
"HTMLTextAreaElement",
|
|
||||||
"HTMLTimeElement",
|
|
||||||
"HTMLTitleElement",
|
|
||||||
"HTMLTrackElement",
|
|
||||||
"HTMLUListElement",
|
|
||||||
"HTMLUnknownElement",
|
|
||||||
"HTMLVideoElement",
|
|
||||||
"ImageData",
|
"ImageData",
|
||||||
"Image",
|
"Image",
|
||||||
"KeyboardEvent",
|
"KeyboardEvent",
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue