Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  a5eda25e9ea6e80045fb34f5dd780b7cd133d618

Hygiene: Remove unused LESS variables

Change-Id: I3a6571961e985ac354099b96470ec80ed147be7b