equal
deleted
inserted
replaced
582 image = element image { image.attributes } |
582 image = element image { image.attributes } |
583 media.image = element image { image.attributes, media.image.content } |
583 media.image = element image { image.attributes, media.image.content } |
584 |
584 |
585 image.attributes = |
585 image.attributes = |
586 media.id.attribute |
586 media.id.attribute |
587 & image.type? |
587 & image.type.attribute? |
|
588 & alt.attribute? |
588 media.id.attribute = attribute id { xsd:NMTOKEN } |
589 media.id.attribute = attribute id { xsd:NMTOKEN } |
589 image.type = attribute type { "cover" | "thumbnail" | "icon" | "animation" } |
590 image.type.attribute = attribute type { |
|
591 "cover" | "thumbnail" | "icon" | "animation" } |
|
592 alt.attribute = attribute alt { text } |
590 |
593 |
591 media.image.content = |
594 media.image.content = |
592 copyright?, |
595 copyright?, |
593 hotspot* |
596 hotspot* |
594 |
597 |