Updated mediawiki/extensions
Project: mediawiki/extensions/WikimediaMaintenance  01b7ab4840c6cf450c5dcfd64e8bd1ebbafe6865
null
Numerous git-deploy related updates

Change-Id: I5b4925fe41d79e7c1ca6185d36d3f5cf76daea22