| Index: trunk/extensions/TimedMediaHandler/MwEmbedModules/EmbedPlayer/resources/mw.EmbedTypes.js |
| — | — | @@ -24,8 +24,8 @@ |
| 25 | 25 | var webmNativePlayer = new mw.MediaPlayer( 'webmNative', ['video/webm'], 'Native' ); |
| 26 | 26 | |
| 27 | 27 | // VLC player |
| 28 | | -var vlcMineList = ['video/ogg', 'audio/ogg', 'application/ogg', 'video/x-flv', 'video/mp4', 'video/h264', 'video/x-msvideo', 'video/mpeg']; |
| 29 | | -var vlcPlayer = new mw.MediaPlayer( 'vlc-player', vlcMineList, 'Vlc' ); |
| | 28 | +var vlcMimeList = ['video/ogg', 'audio/ogg', 'application/ogg', 'video/x-flv', 'video/mp4', 'video/h264', 'video/x-msvideo', 'video/mpeg']; |
| | 29 | +var vlcPlayer = new mw.MediaPlayer( 'vlc-player', vlcMimeList, 'Vlc' ); |
| 30 | 30 | |
| 31 | 31 | // Generic plugin |
| 32 | 32 | var oggPluginPlayer = new mw.MediaPlayer( 'oggPlugin', ['video/ogg', 'application/ogg'], 'Generic' ); |