Updated mediawiki/extensions
Project: mediawiki/extensions/WikimediaMaintenance  a96e01111d27e47e6416e0948a958064fde56bd2

dumpInterwiki: General cleanup

Change-Id: I10a37168982cd768a1f30ec0bbda76894faa12c1