微信小程序支持多种格式的视频文件，具体包括：
MP4：
MP4是一种广泛支持的视频格式，微信小程序中的video组件可以播放MP4格式的视频文件，但需要注意视频编码必须是H.264。
M3U8：
M3U8是一种流媒体格式，微信小程序同样支持播放M3U8格式的视频文件，但可能需要使用特定的播放器或组件来实现。
其他格式：
虽然小程序主要支持MP4和M3U8，但有开发者提到支持其他格式如AVI、MKV等，这些格式可能在一些特定情况下或通过特定插件能够播放。
建议
使用常见的视频格式：为了确保视频能够在小程序中顺利播放，建议使用MP4和M3U8这两种最常见的格式。
检查视频编码：对于MP4格式的视频，确保其编码为H.264，否则可能无法播放。
测试兼容性：在发布前，建议在不同设备和微信版本上测试视频播放功能，以确保兼容性。
通过以上信息，开发者可以根据自己的需求选择合适的视频格式，并确保视频内容能够在微信小程序中顺畅展示。