Updated mediawiki/extensions
Project: mediawiki/extensions/CentralAuth  5a1fac1fc3515be16e6d8a71b247bca289e6a114

$wgDisableUnmergedEditing should also prevent deletion

This was fixed by core change Ibe28a69c, but would be unfixed by
I5a7c4147. So let's fix it explicitly here.

Bug: 69380
Change-Id: I7ba167f0591b7caab9022193375ea30b02922afd