dictation = media + p
authoriinov
mar., 20 nov. 2018 15:46:03 +0100
changeset 472 021552e09b34
parent 471 0c91f8f62b7b
child 473 3047201a20ec
dictation = media + p
Data/Quiz/dictation.xml
RelaxNG/publiquiz.rnc
--- a/Data/Quiz/dictation.xml	jeu. nov. 08 16:21:04 2018 +0100
+++ b/Data/Quiz/dictation.xml	mar. nov. 20 15:46:03 2018 +0100
@@ -10,7 +10,9 @@
     </instructions>
 
     <dictation case-insensitive="false">
-      <audio id="houston"/>
+      <media>
+        <audio id="houston"/>
+      </media>
       <p>
         This is
         <hint>
--- a/RelaxNG/publiquiz.rnc	jeu. nov. 08 16:21:04 2018 +0100
+++ b/RelaxNG/publiquiz.rnc	mar. nov. 20 15:46:03 2018 +0100
@@ -441,7 +441,7 @@
 case_insensitive.attribute = attribute case-insensitive { xsd:boolean }
 
 dictation.content =
-    audio,
+    dictation.media,
     dictation.p
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ production ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
@@ -779,6 +779,7 @@
 blanks-c.media = element media { media.attributes, blanks-c.media.content }
 correct.media = element media { media.attributes, correct.media.content }
 pointing.media = element media { media.attributes, pointing.media.content }
+dictation.media = element media { media.attributes, dictation.media.content }
 
 blanks.media.content =
    block.head?,
@@ -805,6 +806,8 @@
    (image | audio | video)+,
    pointing.media.caption?,
    link?
+dictation.media.content =
+   audio
 
 # ~~~~~~ blanks.image
 blanks.image = element image { image.attributes, blanks.image.content }