Updated mediawiki/extensions
Project: mediawiki/extensions/MediaWikiAuth  d37bfd7be23e4e1c840728b02903135e0a66e36d

Use the API to fetch the email and realname if possible

Bug: 55639
Change-Id: I77a9d299f9de623e5257d04ea00f65e33167cb6c