equal
deleted
inserted
replaced
389 # ~~~~~~ media |
389 # ~~~~~~ media |
390 media = element media { media.attributes, media.content } |
390 media = element media { media.attributes, media.content } |
391 |
391 |
392 media.attributes = |
392 media.attributes = |
393 media.type.attribute? |
393 media.type.attribute? |
|
394 & xmlid.attribute? |
394 media.type.attribute = attribute type { xsd:NCName } |
395 media.type.attribute = attribute type { xsd:NCName } |
395 |
396 |
396 media.content = |
397 media.content = |
397 block.head?, |
398 block.head?, |
398 (image | audio | video)+, |
399 (image | audio | video)+, |