From b51abd1a9cc871444d17d9b5aa598f089b03fe93 Mon Sep 17 00:00:00 2001
From: Daniel Olano <me@olanod.com>
Date: Fri, 14 Oct 2022 17:16:52 +0200
Subject: [PATCH] Add datetime attribute to time element (#590)

---
 packages/html/src/elements.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/packages/html/src/elements.rs b/packages/html/src/elements.rs
index 4608c1013..1b73dba80 100644
--- a/packages/html/src/elements.rs
+++ b/packages/html/src/elements.rs
@@ -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)