微信收藏是一个非常实用的功能，可以让我们将重要的信息和文件收藏起来，方便日后查看和使用。其中，收藏视频也是很常见的。但是，随着视频文件越来越大，我们的手机存储空间也越来越紧张，如何压缩视频文件成为了一个重要的问题。下面，我们来介绍一下微信收藏如何压缩视频文件。

首先，我们需要使用一个视频压缩工具。市面上有很多视频压缩工具，比如爱剪辑、影视压缩大师等，这些工具都可以将视频文件压缩至不同的大小。不过，我们这里介绍的是一种比较简单易用的方法，就是使用微信自带的视频压缩功能。

具体操作如下：

1. 打开微信，进入收藏页面。

2. 找到需要压缩的视频文件，点击进入。

3. 在视频播放页面，点击右下角的“...”按钮，选择“视频压缩”。

4. 微信会自动对视频进行压缩，并生成一个新的视频文件。压缩后的视频文件大小会显示在页面上。

5. 如果觉得压缩后的文件大小还不够小，可以再次重复上述步骤，进行多次压缩。

需要注意的是，视频压缩后会对视频质量产生一定的影响，因此在压缩视频时需要根据实际情况进行选择。如果压缩后的视频质量过低，建议选择其他视频压缩工具进行压缩。

总之，微信收藏可以帮助我们方便地管理和查看文件，而压缩视频文件则可以节省手机存储空间。希望以上介绍的方法可以帮助到大家。