Updated mediawiki/extensions
Project: mediawiki/extensions/Wikibase  588fc8474632e49e1703e0d70247c129d6c3354e

Optimize badge PNG images

Change-Id: I2878bccfc2c6052a8351ae861881da81815d6378