Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  3191c47d101a8f0d4d7efc1ea5db4d82bc3e7f09

Added SVG logos in new style, rm'd old pngs

Change-Id: I1f77c645a9fc92bc2a81391107ddb3a54ef37a50