build: Updating mediawiki/minus-x to 0.3.1
build: Updating mediawiki/minus-x to 0.3.1

Change-Id: Ie43c5e4b57ef0e8b350950b584278409506ec27d

wikimedia/mediawiki-extensions-Variables,wikimedia/mediawiki-extensions-Variables