Updated mediawiki/extensions
Project: mediawiki/extensions/Maps  ec72795dfac0c756170f9eedd724c543c96abfa8