RelaxNG/publidoc.rnc
changeset 119 8a879730e853
parent 118 8d2b19e168e1
child 120 01d4b1ac09af
--- a/RelaxNG/publidoc.rnc	mar. juin 12 12:01:43 2012 +0200
+++ b/RelaxNG/publidoc.rnc	ven. juin 15 02:01:11 2012 +0200
@@ -307,7 +307,7 @@
 
 media.content =
    block.head?,
-   (image | audio)+,
+   (image | audio | video)+,
    media.caption?,
    link?
 
@@ -332,6 +332,12 @@
  & audio.type?
 audio.type = attribute type { "music" | "voice" | "background" | "smil" }
 
+# ~~~~~~ video
+video = element video { video.attributes }
+
+video.attributes =
+   media.id.attribute
+
 # ~~~~~~ tooltip
 
 tooltip = element tooltip { tooltip.attributes, tooltip.content }