Updated mediawiki/extensions
Project: mediawiki/extensions/TimedMediaHandler  a435a2cadf330b2b1fa659c80071b6e0e75dd00d

Don't break $wgFileExtensions structure when removing 'mp4'

Bug: 55366
Change-Id: I961070c1330f2492adac67d0dbb4066ad88b9819