I spent the weekend hacking at integration of my ogv.js JavaScript Ogg media player into TimedMediaHandler's embedded player widget. Patch set in progress: https://gerrit.wikimedia.org/r/#/c/145756/
It's pretty much working in Safari 7 and IE 10/11, but needs various tweaks and fixes still. Some older browser versions should be supportable using a Flash cross-compile, but I haven't got that running in the embedding yet.
Here's a wiki running the patch with some sample files: https://ogvjs-testing.wmflabs.org/
In the process I've noticed several issues with TimedMediaHandler and its dependencies when running on cutting-edge infrastructure; various bugs filed:
HHVM issues: * https://bugzilla.wikimedia.org/show_bug.cgi?id=67937 - players don't display (patch) * https://bugzilla.wikimedia.org/show_bug.cgi?id=67973 - job runner doesn't work
Ubuntu Trusty video transcoding issues: * https://bugzilla.wikimedia.org/show_bug.cgi?id=67953 .ogv transcodes broken (upstream; workaround) * https://bugzilla.wikimedia.org/show_bug.cgi?id=67951 .webm transcodes broken (upstream)
And a Vagrant configuration issue: * https://bugzilla.wikimedia.org/show_bug.cgi?id=67930 - no job runner for TMH role
-- brion