A small MediaWiki extension