contributions to the MediaWiki extension Maps