MediaWiki Extension: Allow users to display their patrolled edit count