From bf3f5a4e2ab98ef1902ed074a5bcaf675d3900d6 Mon Sep 17 00:00:00 2001
From: Bodil Stokke <bodil@bodil.org>
Date: Sat, 16 Mar 2019 21:38:03 +0000
Subject: [PATCH] Add missing attributes to video element.

Closes #32.
---
 typed-html/src/elements.rs | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/typed-html/src/elements.rs b/typed-html/src/elements.rs
index 7dacf70..d089922 100644
--- a/typed-html/src/elements.rs
+++ b/typed-html/src/elements.rs
@@ -347,7 +347,19 @@ declare_elements!{
     } in [FlowContent, PhrasingContent] with PhrasingContent;
     ul in [FlowContent] with li;
     var in [FlowContent, PhrasingContent] with PhrasingContent;
-    video in [FlowContent, PhrasingContent, EmbeddedContent] with MediaContent;
+    video {
+        autoplay: Bool,
+        controls: Bool,
+        crossorigin: CrossOrigin,
+        height: usize,
+        loop: Bool,
+        muted: Bool,
+        preload: Preload,
+        playsinline: Bool,
+        poster: Uri,
+        src: Uri,
+        width: usize,
+    } in [FlowContent, PhrasingContent, EmbeddedContent] with MediaContent;
     wbr in [FlowContent, PhrasingContent];
 
     // Non-group elements