Updated mediawiki/extensions
Project: mediawiki/extensions/Maps  72f927a02e60b8faa75d95b3f31c974337ca4c76