Updated mediawiki/extensions
Project: mediawiki/extensions/CentralAuth  3c559b2ee337b838f07f31c76b7cdb29f23a9685

Clarify migrateAccount.php options

Yes, it's a bit verbose but better than being misleading.

Change-Id: I59639c519c26c48bc1c5bfda43f78120d70af682