RelaxNG/publidoc.rnc
changeset 407 3c439435e472
parent 397 92b1431dc38d
child 409 e55d34c4db69
--- a/RelaxNG/publidoc.rnc	mar. janv. 26 15:11:02 2016 +0100
+++ b/RelaxNG/publidoc.rnc	lun. févr. 08 18:40:38 2016 +0100
@@ -589,10 +589,12 @@
 image.attributes =
    media.id.attribute
  & image.type.attribute?
+ & image.zoom.attribute?
  & alt.attribute?
 media.id.attribute = attribute id { xsd:NMTOKEN }
 image.type.attribute = attribute type {
    "cover" | "thumbnail" | "icon" | "animation" }
+image.zoom.attribute = attribute zoom {"true" | "false"}
 alt.attribute = attribute alt { text }
 
 media.image.content =