Updated mediawiki/extensions Project: mediawiki/extensions/TimedMediaHandler cee611ac43ed68b19ef0f7844924ec3226c43e16
User-friendly prompt to install WebM components for Internet Explorer
Instead of giving a raw-file download prompt, link directly to Google's IE WebM
plugin download page with some brief instructions. After installing, reload the
page and *poof* the video works.
- Components are not available for Windows RT (Windows on ARM), so the download is not offered in this case.
- Components only work with IE 9 and above, but since the player framework doesn't seem to work on IE 8 and below anyway we don't bother to check versions here.
- These really are WebM only, and do not include support for Ogg audio files.
- In future, ogv.js should cover the audio case and low-resolution video case without the plugin prompt, but we'll still need WebM for HD video playback.