On Thu, Jul 12, 2012 at 5:21 PM, Micah Cowan <[email protected]> wrote: > Presumably, there are a number of other new HTML5 tags whose attributes > should be getting checked as well. > > -mjc
<track>, <embed> and <source> are the three that stand out immediately from the list provided here: http://www.w3.org/TR/html5-diff/#new-elements I just didn't understand why wget skipped <source> tags until I read html-url.c tng > > On 07/11/2012 09:37 PM, Timothy Gibbon wrote: >> Hello, >> >> wget currently ignores the <source> tag used in HTML5 video/audio: >> >> http://www.w3.org/wiki/HTML/Elements/video >> >> Attached is a patch for html-url.c to stop wget from ignoring the <source> >> tag. >> >> Thanks, >> >> tng >> > > -- ___________________________________________________________________________ Lunarlite LLP is a partnership registered in England and Wales. Partnership Number: OC327877. Registered office: 23 Smithills Hall Close, BL0 9FF.
