Thanks, would it be preferable to add HTML5 to that or make another
extension purely for using <video>/<audio>?
On 24 March 2011 11:16, Bryan Tong Minh <bryan.tongminh(a)gmail.com> wrote:
On Thu, Mar 24, 2011 at 12:05 PM, Joseph Roberts
<roberts.joseph(a)ntlworld.com> wrote:
Hey all,
I've been scanning the source and I can't find where the players are kept.
Can anyone add any insight on this? Is it done as a hook or direct code?
Extension:OggHandler. The video player is Cortado, which is bundled
with OggHandler iirc
_______________________________________________
Wikitech-l mailing list
Wikitech-l(a)lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikitech-l