Here is the code I tried to insert:
(* HTML5 media *)
val source : bodyTag ([Src = url, Typ = string])
val audio : bodyTag ([Src = url, Autobuffer = bool, Autoplay = bool, Loop =
bool, Controls = bool, Preload = string, Onload =
transaction unit] ++ boxAttrs)
2015-05-03 12:26 GMT+03:00 Sergey Mironov <[email protected]>:
> Hi! I am working on adding HTML5 media tags to the basis. According to
> the reference [1], <audio> tag may contain one or more tags named
> <source>. Unfortunately, we already have value named 'source' in
> basis.ur. What can we do to address this issue? I'll try to
> experiment with adding source tag via FFI for now and see how it looks
> like.
>
> Regards,
> Sergey
>
> [1] http://www.w3schools.com/tags/tag_audio.asp
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
