HTML5 提供了 <video> 元素，可以在网页中嵌入视频文件并播放。通过 <video> 元素，我们可以实现视频的自动播放、循环播放、控制播放进度等功能。
使用<video>元素
要在网页中播放视频，首先需要使用 <video> 元素，并设置视频文件的路径。
------ --------------- -----------------
在上面的示例中，src 属性指定了视频文件的路径，controls 属性添加了播放控制按钮，让用户可以控制视频的播放进度。
支持的视频格式
HTML5 的 <video> 元素支持多种视频格式，常用的视频格式包括：
- MP4
- WebM
- Ogg
为了确保视频能够在不同的浏览器中正常播放，可以提供多种格式的视频文件，并使用 <source> 元素指定不同格式的视频文件。
------ --------- ------- --------------- ----------------- ------- ---------------- ------------------ ------- --------------- ----------------- ---- ------- ---- --- ------- --- ----- ---- --------
在上面的示例中，<source> 元素指定了三种不同格式的视频文件，如果浏览器不支持某种格式的视频文件，会显示 "Your browser does not support the video tag."。
控制视频播放
除了使用 controls 属性添加播放控制按钮外，还可以使用 JavaScript 控制视频的播放、暂停、音量等操作。
------ ------------ ---------
------- --------------- -----------------
--------
------- -----------------------------------
------- -------------------------------------
--------
--- ----- - -----------------------------------
-------- ----------- -
-------------
-
-------- ------------ -
--------------
-
---------在上面的示例中，我们使用 JavaScript 获取了 <video> 元素，并定义了 playVideo() 和 pauseVideo() 函数来控制视频的播放和暂停。
通过以上内容，你已经了解了如何在网页中使用 HTML5 的 <video> 元素播放视频，并控制视频的播放。希望这些知识对你有所帮助！