Translations:Extension:TimedMediaHandler/22/en

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