Updated mediawiki/extensions
Project: mediawiki/extensions/BetaFeatures  18ba141a2f696fcc58846db2cf372405ef138633

feature-information.svg: New SVG version in addition to PNG one

Drawn snapped to a one-pixel grid to look sharp on-screen at default
zoom level. The original PNG was done neatly and so they look nearly
pixel-perfectly the same.

The SVG file was compressed using svgo and optimized further by hand.

Also regenerated the PNG fallback from the new image and recompressed
it using pngcrush.

Change-Id: I7725ca8db9c7255e13b37bb20adf890259872087