A mirror for MediaWiki extension GetUserName