Translations:Extension:TimedMediaHandler/22/en

The extension will automatically add supported file types (except mp4) to $wgFileExtensions, so you do not need to manually add video file types.