Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  10baa7f983fdfe476747f85d6627572e18112f71

Hygiene: Correct documentation

pre-review hook barked at me.

Change-Id: I94dc609a139c3e72c8b4ade98570dab3c2c75b24