MediaWiki extension to restrict access by category