Index of /mediawiki/extensions/MediawikiPlayer

	Name	Last modified	Size	Description
	Parent Directory		-
	AddOns/	16-Jul-2016 14:06	-
	MediawikiPlayer.php	16-Jul-2016 14:06	8.0K
	jwplayer.js	16-Jul-2016 14:06	50K
	jwplayer.html5.js	16-Jul-2016 14:06	137K
	jwplayer.flash.swf	16-Jul-2016 14:06	154K