Updated mediawiki/extensions
Project: mediawiki/extensions/Maintenance  5782d083812e584bfa6ac527084a14a3773576a3

Update filenames of maintenance scripts

Follow-up of bd682f3

Change-Id: Ibd3c82f2ab808f266978ab6e312beecf1b22259b