Updated mediawiki/extensions
Project: mediawiki/extensions/CentralAuth  a138547306f7b2ef2438550251f0df0987ec2842

Slight refactoring of migrateAccount for better stats.  Adding resetting of authToken.

Change-Id: I72aba3594ebd19d92bac66e84d5c1b6ffb45fd95