Add datetime attribute to time element (#590)

This commit is contained in:
Daniel Olano 2022-10-14 17:16:52 +02:00 committed by GitHub
parent ab10d327ac
commit b51abd1a9c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -504,7 +504,9 @@ builder_constructors! {
/// Build a
/// [`<time>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/time)
/// element.
time {};
time {
datetime: Datetime,
};
/// Build a
/// [`<u>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/u)