Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  c5e8bb13f5f86232b4b0c175f54d641fa57bad2e

Add short-curcuit in api.getTokens for tokens availble in user.tokens

This avoids an unnecessary API request.

Bug: 57559
Change-Id: I3e927ec9b9d171cc227da25be43643e6ce21a308