Updated mediawiki/extensions
Project: mediawiki/extensions/VectorBeta  5c20f1eff989f27df5a8abd15a6da0cfe284e9da

Ensure compatibility with personal compact bar

Change-Id: I985fb775b97bde78e365e3a09f918ac2c991fd63