Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  193783da97dddc1d2f45475b996af7228fdfc725

Rm bogus CSS

We do it in MobileFormatter ATM,
and <video> should be handled uniformly on all devices

Change-Id: I533fd388aa3aca10f3d5bf2ecbae5c0ae00d6d6f