forked from mirrors/gecko-dev
5c9e46854c
<!-- Please describe your changes on the following line: --> Fix interface exposure for Bluetooth, which ended up pulling a longer thread of other interfaces into it. Per @jdm just went ahead and did all of the interfaces that `./mach build -d` errored on, so there are a lot of interfaces here. --- <!-- 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 <!-- Either: --> - [x] These changes do not require tests because they only removed code <!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. --> Source-Repo: https://github.com/servo/servo Source-Revision: 48dd0d49c2fdd665c1614488f0bbc5bc1c4b6734
23 lines
822 B
Text
23 lines
822 B
Text
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
|
|
|
// https://html.spec.whatwg.org/multipage/#htmlscriptelement
|
|
interface HTMLScriptElement : HTMLElement {
|
|
attribute DOMString src;
|
|
attribute DOMString type;
|
|
attribute DOMString charset;
|
|
// attribute boolean async;
|
|
attribute boolean defer;
|
|
attribute DOMString? crossOrigin;
|
|
[Pure]
|
|
attribute DOMString text;
|
|
|
|
// also has obsolete members
|
|
};
|
|
|
|
// https://html.spec.whatwg.org/multipage/#HTMLScriptElement-partial
|
|
partial interface HTMLScriptElement {
|
|
attribute DOMString event;
|
|
attribute DOMString htmlFor;
|
|
};
|