mirror of
https://github.com/servo/servo.git
synced 2025-08-09 23:45:35 +01:00
Auto merge of #14086 - chajath:time-datetime-attribute, r=ConnorGBrewster
Add DateTime string attribute to Time <!-- 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 part of #12967, content parsing will come as a separate PR. <!-- Either: --> - [X] There are tests for these changes OR - [ ] These changes do not require tests because _____ <!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. --> <!-- 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/14086) <!-- Reviewable:end -->
This commit is contained in:
commit
8992b65410
6 changed files with 33 additions and 247 deletions
|
@ -4,5 +4,5 @@
|
|||
|
||||
// https://html.spec.whatwg.org/multipage/#htmltimeelement
|
||||
interface HTMLTimeElement : HTMLElement {
|
||||
// attribute DOMString dateTime;
|
||||
attribute DOMString dateTime;
|
||||
};
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue