Updated mediawiki/extensions
Project: mediawiki/extensions/CentralAuth  01032d372e4243d421654f874ba85adbef3dce71

GlobalRename: Do page moves in a separate job

Bug: 71676
Change-Id: I1e215bbb7e9ddf15bed3f0fce658539a4b794732