Updated mediawiki/extensions
Project: mediawiki/extensions/Maps  3801ba1d979e4116e256fab82bee4a19d7adbd6c