2a1b72294b
<!-- Please describe your changes on the following line: --> spec: https://html.spec.whatwg.org/multipage/#htmlconstructor --- <!-- 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 #17194 (github issue number if applicable). <!-- Either: --> - [X] There are tests for these changes OR - [ ] These changes do not require tests because _____ <!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.--> <!-- 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: c58bcc23ea5c4b5f83944e111ce9a2d0ec2b5400
28 lines
982 B
Plaintext
28 lines
982 B
Plaintext
/* 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/#the-body-element
|
|
[HTMLConstructor]
|
|
interface HTMLBodyElement : HTMLElement {
|
|
// also has obsolete members
|
|
};
|
|
HTMLBodyElement implements WindowEventHandlers;
|
|
|
|
// https://html.spec.whatwg.org/multipage/#HTMLBodyElement-partial
|
|
partial interface HTMLBodyElement {
|
|
[TreatNullAs=EmptyString] attribute DOMString text;
|
|
|
|
// https://github.com/servo/servo/issues/8715
|
|
//[TreatNullAs=EmptyString] attribute DOMString link;
|
|
|
|
// https://github.com/servo/servo/issues/8716
|
|
//[TreatNullAs=EmptyString] attribute DOMString vLink;
|
|
|
|
// https://github.com/servo/servo/issues/8717
|
|
//[TreatNullAs=EmptyString] attribute DOMString aLink;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString bgColor;
|
|
attribute DOMString background;
|
|
};
|