Add missing attributes to video element.

Closes #32.
bodil · Mar 16, 2019 · bf3f5a4 · bf3f5a4
1 parent 359a7a6
commit bf3f5a4
Showing 1 changed file with 13 additions and 1 deletion.
diff --git 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