Auto merge of #12526 - woshilapin:fix-12415/htmlp-htmls, 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. -->

* HTMLParagraphElement.webidl [[spec](https://html.spec.whatwg.org/multipage/#htmlparagraphelement
)]
* HTMLParamElement.webidl [[spec](https://html.spec.whatwg.org/multipage/#htmlparamelement)]
* HTMLPreElement.webidl [[spec](https://html.spec.whatwg.org/multipage/#htmlpreelement)]
* HTMLProgressElement.webidl [[spec](https://html.spec.whatwg.org/multipage/#htmlprogresselement)]
* HTMLQuoteElement.webidl [[spec](https://html.spec.whatwg.org/multipage/#htmlquoteelement)]
* HTMLScriptElement.webidl [[spec](https://html.spec.whatwg.org/multipage/#htmlscriptelement)]
* HTMLSelectElement.webidl [[spec](https://html.spec.whatwg.org/multipage/#htmlselectelement)]
* HTMLSourceElement.webidl [[spec](https://html.spec.whatwg.org/multipage/#htmlsourceelement)]
* HTMLSpanElement.webidl [[spec](https://html.spec.whatwg.org/multipage/#htmlspanelement)]
* HTMLStyleElement.webidl [[spec](https://html.spec.whatwg.org/multipage/#htmlstyleelement)]

<!-- 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/12526)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2016-07-22 20:14:55 -05:00 committed by GitHub
commit 07fcaf48f6
10 changed files with 0 additions and 18 deletions

View file

@ -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/#htmlparagraphelement // https://html.spec.whatwg.org/multipage/#htmlparagraphelement
[Exposed=(Window,Worker)]
interface HTMLParagraphElement : HTMLElement { interface HTMLParagraphElement : HTMLElement {
// also has obsolete members // also has obsolete members
}; };

View file

@ -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/#htmlparamelement // https://html.spec.whatwg.org/multipage/#htmlparamelement
[Exposed=(Window,Worker)]
interface HTMLParamElement : HTMLElement { interface HTMLParamElement : HTMLElement {
// attribute DOMString name; // attribute DOMString name;
// attribute DOMString value; // attribute DOMString value;

View file

@ -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/#htmlpreelement // https://html.spec.whatwg.org/multipage/#htmlpreelement
[Exposed=(Window,Worker)]
interface HTMLPreElement : HTMLElement { interface HTMLPreElement : HTMLElement {
// also has obsolete members // also has obsolete members
}; };

View file

@ -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/#htmlprogresselement // https://html.spec.whatwg.org/multipage/#htmlprogresselement
[Exposed=(Window,Worker)]
interface HTMLProgressElement : HTMLElement { interface HTMLProgressElement : HTMLElement {
// attribute double value; // attribute double value;
// attribute double max; // attribute double max;

View file

@ -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/#htmlquoteelement // https://html.spec.whatwg.org/multipage/#htmlquoteelement
[Exposed=(Window,Worker)]
interface HTMLQuoteElement : HTMLElement { interface HTMLQuoteElement : HTMLElement {
// attribute DOMString cite; // attribute DOMString cite;
}; };

View file

@ -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/#htmlselectelement // https://html.spec.whatwg.org/multipage/#htmlselectelement
[Exposed=(Window,Worker)]
interface HTMLSelectElement : HTMLElement { interface HTMLSelectElement : HTMLElement {
// attribute boolean autofocus; // attribute boolean autofocus;
attribute boolean disabled; attribute boolean disabled;

View file

@ -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/#htmlsourceelement // https://html.spec.whatwg.org/multipage/#htmlsourceelement
[Exposed=(Window,Worker)]
interface HTMLSourceElement : HTMLElement { interface HTMLSourceElement : HTMLElement {
// attribute DOMString src; // attribute DOMString src;
// attribute DOMString type; // attribute DOMString type;

View file

@ -3,5 +3,4 @@
* 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/#htmlspanelement // https://html.spec.whatwg.org/multipage/#htmlspanelement
[Exposed=(Window,Worker)]
interface HTMLSpanElement : HTMLElement {}; interface HTMLSpanElement : HTMLElement {};

View file

@ -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/#htmlstyleelement // https://html.spec.whatwg.org/multipage/#htmlstyleelement
[Exposed=(Window,Worker)]
interface HTMLStyleElement : HTMLElement { interface HTMLStyleElement : HTMLElement {
// attribute DOMString media; // attribute DOMString media;
// attribute DOMString type; // attribute DOMString type;

View file

@ -92,16 +92,7 @@ test_interfaces([
"HTMLOptGroupElement", "HTMLOptGroupElement",
"HTMLOptionElement", "HTMLOptionElement",
"HTMLOutputElement", "HTMLOutputElement",
"HTMLParagraphElement",
"HTMLParamElement",
"HTMLPreElement",
"HTMLProgressElement",
"HTMLQuoteElement",
"HTMLScriptElement", "HTMLScriptElement",
"HTMLSelectElement",
"HTMLSourceElement",
"HTMLSpanElement",
"HTMLStyleElement",
"HTMLTableCaptionElement", "HTMLTableCaptionElement",
"HTMLTableCellElement", "HTMLTableCellElement",
"HTMLTableColElement", "HTMLTableColElement",