1. If HTML5the video in video标签it wants to cover the mainstream browsers, it must contain at least three video formats, webm, oggand mp4three video formats, which is the code like this:
<!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. It means that we need to get the video in these three formats. I have found a lot, either do not support the conversion of these three formats, or support it but download it and cannot develop it, for example freemake. Finally found one Miro Video Converter, but the download on its official website seems to be unable to download normally, but the browser will get his exefile address, and you can download it with Thunder.
3. When chrometesting in the browser, if you put the mp4format in the front, it is found that it cannot be played normally. So these sequences may also need to be paid a little attention.
4. If you compress the video, Miro Video Converteryou can, but you can customize a size when outputting. In fact, it is not customized. After the conversion of the same format, the volume will also be reduced. So compression and format conversion, I think this one is basically enough.
5. Miro Video ConverterIt should also be noted that the video to be converted should be named in English, because if it is found in Chinese, it cannot be loaded or dragged into the conversion editing box.