Features

<video> tag, which has src, poster, style, width, and height parameters, their meaning is exactly equivalent to the HTML5 tag, all other parameters are ignored (but some can be specified with settings site-wide).

Installation

Please place the #Code into your $IP/extensions/RHINO directory and add require_once("$IP/extensions/RHINO/RhinoHtml5IsNotOggplayer.php"); to your LocalSettings.php file.

Known issues

Need a way to generate cleaner URLs for the special page.

Poster cannot be secified for the special page.

No way to specify several source files.

Code

RhinoHtml5IsNotOggplayer.php

<?php#author: VolodyA! V Anarhist
#licence: GPL 3.0
// Defaults (can be changed in LocalSettings.phpglobal$wgRhinoAutoplay,$wgRhinoControls,$wgRhinoLoop,$wgRhinoPreload,$wgRhinoMuted;$wgRhinoAutoplay=false;$wgRhinoControls=true;$wgRhinoLoop=false;$wgRhinoMuted=false;$wgRhinoPreload=false;//Avoid unstubbing $wgParser on setHook() too early on modern (1.12+) MW versions, as per r35980if(defined('MW_SUPPORTS_PARSERFIRSTCALLINIT')){$wgHooks['ParserFirstCallInit'][]='wfRhino';}else{$wgExtensionFunctions[]='wfRhino';}if(!defined('MEDIAWIKI'))die();$credits=array('name'=>'Rhino Html5 Is Not Oggplayer','version'=>'0.1','author'=>'VolodyA! V Anarhist','description'=>'Allows to use <tt>&lt;video&gt;</tt> tag to play external Ogg files as well as [[Special:VideoPlayer]] as a separate page for that.','url'=>'http://www.freedomporn.org/smut/Freedom_Porn:free_technology/RHINO');$wgExtensionCredits['parserhook'][]=$credits;$wgExtensionCredits['specialpage'][]=$credits;$wgSpecialPageGroups['VideoPlayer']='mediapresentation';function wfRhino(){global$wgParser;$wgParser->setHook('video','rhinoVideo');returntrue;}$dir=dirname(__FILE__).'/';require_once($dir.'TagVideo.php');$wgAutoloadClasses['SpecialVideoPlayer']=$dir.'SpecialVideoPlayer.php';# Location of the SpecialMyExtension class (Tell MediaWiki to load this file)
$wgExtensionMessagesFiles['VideoPlayer']=$dir.'RhinoHtml5IsNotOggplayer.i18n.php';# Location of a messages file (Tell MediaWiki to load this file)
$wgExtensionMessagesFiles['VideoPlayerAlias']=$dir.'RhinoHtml5IsNotOggplayer.alias.php';# Location of an aliases file (Tell MediaWiki to load this file)
$wgSpecialPages['VideoPlayer']='SpecialVideoPlayer';# Tell MediaWiki about the new special page and its class name