Updated mediawiki/extensions
Project: mediawiki/extensions/Wikibase  b4c31b158521b16d38087352ca88746967150525

Add UpdateRepoOnDeleteJob

For updating the repo after a page on the client has been deleted.

Bug: 49100
Change-Id: Idc382607b4c29ae7ca7e52c50e8f727e5ff8d619