Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  b98418ed7d35a5666c417edfc3fe0fb405958c2d

Hygiene: Make use of mw.user

Extend it with other helper methods

Change-Id: I65286e5b836ca149a022d08b24853ed816f142f1