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.

Notes:

• 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.

Bug: T75348
Change-Id: I2ad8257d8752871b67632dc7b7b42d2825f8fc68