Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  909bf0da7edfe909c070558e4a74564439945b5d

Add short-circuit in api.getTokens for tokens available in user.tokens

This avoids an unnecessary API request.

Bug: 57559
Change-Id: Ib74d17e28b12c050e81a3bc6c405140736166688