1、HTML5里的视频video标签如果要覆盖主流的浏览器的话，至少要包含webm、ogg和mp4三种视频格式，也就是这样的代码：
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<title>Document</title>
</head>
<body>
<div>hello</div>
<video controls="controls">
<source src="http://118.190.62.146:9090/Resource/video/safe/use_gas_safely.webm" type="video/webm">
<source src="http://118.190.62.146:9090/Resource/video/safe/use_gas_safely.ogg" type="video/ogg">
<source src="http://118.190.62.146:9090/Resource/video/safe/use_gas_safely.mp4" type="video/mp4">
</video>
</body>
</html>2、意味着，我们需要得到这三种格式的视频。找了很多，要么不支持这三种格式转换，要么支持但是下载了无法开发，比如freemake之类的。最后找到一个Miro Video Converter，但是在它的官网下载貌似也是无法正常下载的，但是浏览器中会得到他的exe文件地址，用迅雷下载即可。
3、在chrome浏览器里面测试的时候，如果把mp4格式的放在最前面，发现无法正常播放。所以这几个顺序可能也要稍微注意一下。
4、压缩视频的话，Miro Video Converter也可以，只是在输出的时候自定义一个尺寸，其实不自定义，同格式转化后，体积也会缩小。所以压缩以及格式转换，我觉得这一个基本够用了。
5、使用Miro Video Converter还需要注意，待转换的视频命名最好是英文的，因为发现如果是中文的时候无法加载或者拖拽视频到转换编辑框中。