Updated mediawiki/extensions
Project: mediawiki/extensions/CentralAuth  23b01e60abd73815cd8d058ba9eca86998972957

Adding a bit of logging to distinguish $wgCentralAuthAutoMigrate migrations from others.

Change-Id: I7281788682df793dea594a10e290c314f731d791