Ajout d'un identifiant sur <media>
authorPatrick PIERRE
lun., 25 nov. 2013 18:09:55 +0100
changeset 266 1cee00592b0f
parent 265 952f42b55374
child 267 e29236d865be
Ajout d'un identifiant sur <media>
RelaxNG/Examples/Documents/torture_test.xml
RelaxNG/publidoc.rnc
--- a/RelaxNG/Examples/Documents/torture_test.xml	lun. nov. 18 13:08:33 2013 +0100
+++ b/RelaxNG/Examples/Documents/torture_test.xml	lun. nov. 25 18:09:55 2013 +0100
@@ -724,7 +724,7 @@
               décoratif d'un texte qui va en diminuant, d'une ligne à l'autre,
               jusqu'à ne plus former qu'une pointe sur la dernière ligne.
             </p>
-            <media>
+            <media xml:id="cockpit">
               <image id="f-gcru">
                 <hotspot x="68.2%" y="49.5%" w="7.5%" h="14.2%"
                          type="zone"/>
@@ -976,7 +976,8 @@
               <p>
                 Lisez également l'article sur les <link
                 idref="ancre">ancres</link> et la <link idref="multimedia">page
-                multimédia</link>.
+                multimédia</link> avec notamment sa photo de <link
+                idref="cockpit">cockpit</link>.
               </p>
             </item>
             <item>
--- a/RelaxNG/publidoc.rnc	lun. nov. 18 13:08:33 2013 +0100
+++ b/RelaxNG/publidoc.rnc	lun. nov. 25 18:09:55 2013 +0100
@@ -391,6 +391,7 @@
 
 media.attributes =
    media.type.attribute?
+ & xmlid.attribute?
 media.type.attribute = attribute type { xsd:NCName }
 
 media.content =