equal
deleted
inserted
replaced
605 audio = element audio { audio.attributes } |
605 audio = element audio { audio.attributes } |
606 |
606 |
607 audio.attributes = |
607 audio.attributes = |
608 media.id.attribute |
608 media.id.attribute |
609 & audio.type? |
609 & audio.type? |
610 audio.type = attribute type { "music" | "voice" | "background" | "smil" } |
610 audio.type = attribute type { "music" | "voice" | "en" | "fr" | "background" |
|
611 | "smil" } |
611 |
612 |
612 # ~~~~~~ video |
613 # ~~~~~~ video |
613 video = element video { video.attributes } |
614 video = element video { video.attributes } |
614 |
615 |
615 video.attributes = |
616 video.attributes = |