A small FedoraBadges extension for MediaWiki