Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  72e7dedd846e7aba7de15a1711114d381a9926a0

Hygiene: Clean up overlays.less and pagelist.less

Change-Id: I14e46ce0445c268773eb08eab409599f4768197a