Mediawiki extension for taginfo.openstreetmap.org