Unknown attribute type on source element
Julow opened this issue · 1 comments
Julow commented
The type attribute is not recognized (Error: Unknown attribute in HTML element: type) in
<source src="foo.mp3" type="audio/mpeg">
Drup commented
The associated attribute is Html.a_mime_type (there are several distinct type attribute, so it's disambiguated. Apparently, we are missing a smart constructor for the source html element in the ppx.