Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  42007cbb1732bcf79ad30db88bef35468a43b805

Only add device-specific styles if there are device-specific styles to load

Change-Id: Iba881bf12b068a5b1bba0f8c79016f11b2831c8c