equal
deleted
inserted
replaced
587 media.image = element image { image.attributes, media.image.content } |
587 media.image = element image { image.attributes, media.image.content } |
588 |
588 |
589 image.attributes = |
589 image.attributes = |
590 media.id.attribute |
590 media.id.attribute |
591 & image.type.attribute? |
591 & image.type.attribute? |
|
592 & image.zoom.attribute? |
592 & alt.attribute? |
593 & alt.attribute? |
593 media.id.attribute = attribute id { xsd:NMTOKEN } |
594 media.id.attribute = attribute id { xsd:NMTOKEN } |
594 image.type.attribute = attribute type { |
595 image.type.attribute = attribute type { |
595 "cover" | "thumbnail" | "icon" | "animation" } |
596 "cover" | "thumbnail" | "icon" | "animation" } |
|
597 image.zoom.attribute = attribute zoom {"true" | "false"} |
596 alt.attribute = attribute alt { text } |
598 alt.attribute = attribute alt { text } |
597 |
599 |
598 media.image.content = |
600 media.image.content = |
599 copyright?, |
601 copyright?, |
600 hotspot* |
602 hotspot* |