Vagrant box to develop MediaWiki extensions. WARNING: Opinionated toward @WebPlatform MediaWiki settings.