An extension to maintain per-page level article protection in MediaWiki