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 <[email protected]> wrote: > On Thu, Mar 24, 2011 at 12:05 PM, Joseph Roberts > <[email protected]> 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 > [email protected] > https://lists.wikimedia.org/mailman/listinfo/wikitech-l > _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
