Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  1ff50f9cae06232f9f7d79d9116c0698d2189d13

Hygiene: Remove unused function, add annotations

Change-Id: I243890ab85e7730c8abf15c71dc71c083d2a2b64