Updated mediawiki/extensions
Project: mediawiki/extensions/CentralAuth  61ddde6e07f011518cbeffb787ac64127112a25e

Normalize the user name given to Special:GlobalRenameProgress

This doesn't matter for log entries as those use Title mechanisms
to normalize, but it matters while the rename is in progress (as
GlobalRenameUserStatus doesn't do normalization).

Change-Id: If01b79a90e386bfcf567c71e2b1b514bebeebfb7