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:

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