Updated mediawiki/extensions
Project: mediawiki/extensions/TimedMediaHandler  f38089a466e3c0f860c06889fe7d29700b1a2854

use $file->getName() instead of $title->getDBkey()

that way we always get the right capitalization
with shared repositories

(also consitently use getDBKey everywhere)

Change-Id: I094cd0f9570986ffdc3f661ca9beb1b489f50183