Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  de42a7ed415d76e63183331672bebb7ac6c2cdec

Bug 47586: Remove DeviceDetection js

Move it to CentralNotice instead
See https://gerrit.wikimedia.org/r/61988

Change-Id: If219c84d4755697ab849cfc083fa9234382f30f6