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

Story 141: Set wgMobileDeviceName in a device specific js module

Depends on $wgMFVaryResources = true

Note the name wgMobileDeviceName may change in future but this is
currently set in CentralNotice

Unresolved issue: this must be run before the banner controller - use RL dependencies?

Change-Id: I4f3a43b2172367d03504ee9318d51173f54e1623