Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  fca084a5d62d16f0f01cd2454d0b7b37ec097a3e

Sigh.

Take what anyone says with a pinch of salt.
This has been set on account creation but not on login.

Bug: 51377

Change-Id: I4c797dcd3e523d73852756803420cf587e16adb0