MediaWiki extension for disable source access to wikitext pages