查看“︁微件:Html5media”︁的源代码

<noinclude>__NOTOC__
This widget allows you to embed '''[https://github.com/etianen/html5media HTML5 Media]''' on your wiki page.

Created by [http://www.mediawikiwidgets.org/User:Taipan taipan]

== Using this widget ==
For information on how to use this widget, see [http://www.mediawikiwidgets.org/Html5media widget description page on MediaWikiWidgets.org].

== Copy to your site ==
To use this widget on your site, just install [http://www.mediawiki.org/wiki/Extension:Widgets MediaWiki Widgets extension] and copy [{{fullurl:{{FULLPAGENAME}}|action=edit}} full source code] of this page to your wiki as '''{{FULLPAGENAME}}''' article.
</noinclude><includeonly><!--{if !isset($wgHtml5media) || !$wgHtml5media}--><!--{assign var="wgHtml5media" value=true scope="global"}--><script src="//api.html5media.info/1.1.8/html5media.min.js"></script><script>
//修复错误[[Special:diff/948385]]
window.addEventListener('jquery-ready', function(){
    var style = {},
        origin = mw.config.get('EmbedPlayer.AttributionButton');
    if( !$.isArray(origin.style)) return;
    for (var i in origin.style) style[i] = origin.style[i];
    origin.style = style;
    mw.config.set('EmbedPlayer.AttributionButton', origin);
});</script><!--{/if}--><video src="<!--{$url|validate:url|escape:'html'}-->" width="<!--{$width|default:425|validate:int|escape:'html'}-->" height="<!--{$height|default:355|validate:int|escape:'html'}-->"
controls preload></video></includeonly>