Updated mediawiki/extensions
Project: mediawiki/extensions/CentralAuth  7fc76badef9fcd78c26e5c9fb84ab09a795c65d3

Maintenance script to migrate a single account from local to global

Change-Id: I6f91c697706a5e4feba2125773c6c3c259a6e29e