Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  42ea6b5611935c4da37766714f0d3f4cf36e81aa

PNGCrush all the PNGs

Some of them were bigger than they should have been.

Change-Id: I161dff03e33f3571690659c84c08fb2e18ced2ef