I've done some more cleanup and fixes on ogv.js JavaScript Ogg media player, with an 0.9 pre-release build and updated patches for TimedMediaHandler.

Would love some code review and testing!

*Upstream library release:*

https://github.com/brion/ogv.js/releases/tag/0.9

*Live demo site:*

https://ogvjs-testing.wmflabs.org/

*TMH patches:*

Update to bundled ogv.js libs (went ahead and merged): https://gerrit.wikimedia.org/r/#/c/223261/1

Finish the desktop TMH integration of ogv.js player (need testing and review!): https://gerrit.wikimedia.org/r/#/c/165478/36

Work in progress mobile integration for TMH (needs more upstream updates for controls): https://gerrit.wikimedia.org/r/#/c/217485/

-- brion