我们需要明确一点，微信小视频是保存在微信的服务器上的，因此，我们需要使用第三方工具来将其导出。以下是具体步骤：
1. 打开微信，找到需要导出的小视频，点击进入。
2. 在小视频页面上，点击右下角的“...”按钮，选择“另存为”。
3. 在弹出的对话框中，选择“保存视频”，然后等待视频下载完成。
4. 下载完成后，我们需要使用第三方工具来将视频导出。这里推荐使用“微信小视频导出助手”这个工具，它可以帮助我们将微信小视频导出为mp4格式的视频文件。
5. 下载并安装“微信小视频导出助手”，然后打开它。
6. 在“微信小视频导出助手”中，选择“从微信导出”，然后登录自己的微信账号。
7. 找到需要导出的小视频，选择导出格式为“mp4”，然后点击“导出”。
8. 等待导出完成后，我们就可以在电脑上找到导出的视频文件了。
微信小视频的导出并不是很方便，需要使用第三方工具来实现。但是，只要按照以上步骤操作，就可以轻松地将微信小视频导出为mp4格式的视频文件，方便我们在其他平台上分享或保存。
