Updated mediawiki/extensions
Project: mediawiki/extensions/Maps  b7de7c7d31062064ef9269f6f92c655ff5ea7a47