Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  cd70da4373a4819b35130ce0d6c1aaed79111a28

Add missing / in filenames

(Argh)

Change-Id: I02c25b21d8a939f9267bb9b726f608f7afe38be1