Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  3ff8b981cfdc675961cd822559c00463461de4d9

Minor tweaks to PHP ResourceLoader modules

Don't assume the directory structure of the MobileFrontend extension
as Krinkle points out it may be different and throw warnings

Change-Id: Ieff90c87bd8656e9c3476cf0e1e11a33ff6c6f25