下载网页上的视频到本地，可以使用一些浏览器插件来实现。这些插件通常能够提供更快、更稳定的下载体验。以下是一些常用的冷门浏览器插件，它们可以帮助你高效地下载网页上的视频：
1. 视频下载助手
- 功能特点：支持多种视频格式的下载，包括mp4, mkv, avi等。可以设置下载质量，如高清或标清。
- 使用场景：适合需要下载不同格式视频的用户。
2. 视频下载精灵
- 功能特点：支持多线程下载，提高下载速度。有自动识别和选择视频的功能。
- 使用场景：适合希望快速下载并节省时间的用户。
3. 视频下载器
- 功能特点：简单易用，界面友好。支持直接从网页中拖放视频链接进行下载。
- 使用场景：适合初学者或不想安装复杂插件的用户。
4. 视频下载大师
- 功能特点：除了基本的下载功能外，还提供了视频转换和编辑工具。支持批量下载。
- 使用场景：适合需要处理多个视频文件的用户。
5. 视频下载专家
- 功能特点：具有强大的视频转换功能，可以将下载的视频转换为其他格式。支持自定义下载路径。
- 使用场景：适合对视频格式有特殊需求的用户。
6. 视频下载器
- 功能特点：支持多种视频格式的下载，包括flv, wmv等。可以设置下载质量。
- 使用场景：适合需要下载特定格式视频的用户。
7. 视频下载助手
- 功能特点：支持多种视频格式的下载，包括mp4, mkv, avi等。可以设置下载质量，如高清或标清。
- 使用场景：适合需要下载不同格式视频的用户。
8. 视频下载器
- 功能特点：简单易用，界面友好。支持直接从网页中拖放视频链接进行下载。
- 使用场景：适合初学者或不想安装复杂插件的用户。
9. 视频下载精灵
- 功能特点：支持多线程下载，提高下载速度。有自动识别和选择视频的功能。
- 使用场景：适合希望快速下载并节省时间的用户。
10. 视频下载器
- 功能特点：简单易用，界面友好。支持直接从网页中拖放视频链接进行下载。
- 使用场景：适合初学者或不想安装复杂插件的用户。
总之，在使用这些插件时，请确保您遵守了网站的使用条款，尊重版权法律，不要非法下载受版权保护的内容。同时，请注意，某些插件可能需要在浏览器扩展程序商店中安装，或者通过特定的网站才能访问。