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@gmail.com wrote:
On Thu, Mar 24, 2011 at 12:05 PM, Joseph Roberts roberts.joseph@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@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l