MediaWiki extension for enriching pages with information from Wikidata