changeset 409 | e55d34c4db69 |
parent 407 | 3c439435e472 |
child 416 | 544199d43060 |
--- a/RelaxNG/publidoc.rnc lun. févr. 08 18:46:23 2016 +0100 +++ b/RelaxNG/publidoc.rnc mar. mars 15 15:02:12 2016 +0100 @@ -607,7 +607,8 @@ audio.attributes = media.id.attribute & audio.type? -audio.type = attribute type { "music" | "voice" | "background" | "smil" } +audio.type = attribute type { "music" | "voice" | "en" | "fr" | "background" + | "smil" } # ~~~~~~ video video = element video { video.attributes }