Updated mediawiki/extensions
Project: mediawiki/extensions/VectorBeta  a478012e5deab06d8502dbb515bfb9c2a5b44bec

Hygiene: Whitespace fixes

Change-Id: I6037c930d17ba38febd3a133f1c35f84312a105b