mirror of http://wordpress.org/plugins/videojs-html5-video-player-for-wordpress/