# HG changeset patch
# User Patrick PIERRE <patrick.pierre@prismallia.fr>
# Date 1339718471 -7200
# Node ID 8a879730e8530a782f53920a98f451d4fc957a73
# Parent 8d2b19e168e1ae43cccf26d26989618f49d7ff0d
Ajout de la vidéo
diff -r 8d2b19e168e1 -r 8a879730e853 RelaxNG/Examples/Documents/Videos/chicken_chair.mp4
Binary file RelaxNG/Examples/Documents/Videos/chicken_chair.mp4 has changed
diff -r 8d2b19e168e1 -r 8a879730e853 RelaxNG/Examples/Documents/torture_test.xml
--- a/RelaxNG/Examples/Documents/torture_test.xml mar. juin 12 12:01:43 2012 +0200
+++ b/RelaxNG/Examples/Documents/torture_test.xml ven. juin 15 02:01:11 2012 +0200
@@ -477,6 +477,18 @@
</media>
</section>
</topic>
+ <!-- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -->
+ <topic>
+ <head>
+ <title>La vidéo</title>
+ </head>
+ <section>
+ <media>
+ <video id="chicken_chair"/>
+ <caption>Chicken Chair</caption>
+ </media>
+ </section>
+ </topic>
</division>
</division>
diff -r 8d2b19e168e1 -r 8a879730e853 RelaxNG/publidoc.rnc
--- 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 }