Updated mediawiki/extensions
Project: mediawiki/extensions/VectorBeta  ea00b7ecd1ff91f30af1918c8ca07dd5f6304f26

Reduce TOC padding slightly in new typography

Consulted with Vibha, Moiz and Kaity.

Change-Id: Iece8ef150791436d86b0509fd70faa3cb111e25a