Différences entre les versions de « Widget:Html5media »

7 octets supprimés ,  19 décembre 2011 à 14:45
(Page créée avec « <noinclude>__NOTOC__ This widget allows you to embed '''[https://github.com/etianen/html5media HTML5 Media]''' on your wiki page. Created by [http://www.mediawikiwidgets.... »)
 
 
Ligne 10 : Ligne 10 :
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.
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><script src="http://api.html5media.info/1.1.4/html5media.min.js"></script><video src="<!--{$url|validate:url}-->" width="<!--{$width|default:425|validate:int|escape:'html'}-->" height="<!--{$height|default:355|validate:int|escape:'html'}-->"
</noinclude><includeonly><script src="http://api.html5media.info/1.1.4/html5media.min.js"></script><video src="<!--{$url|validate:url}-->" width="<!--{$width|default:425|validate:int|escape:'html'}-->" height="<!--{$height|default:355|validate:int|escape:'html'}-->"
controls preload></video></includeonly>
controls ></video></includeonly>
5 714

modifications