Extension:ViewsourceRight

<?php /*

Purpose
This extension adds a 'viewsource' right. Only the users with the 'viewsource' permission can 'view' an article's source wikitext.

FEATURES

 * Can be used independantly of BizzWiki environment
 * No mediawiki installation source level changes

Dependancy

 * StubManager extension
 * Hierarchical Namespace Permissions extension

Installation
To install independantly from BizzWiki:
 * Download & Install Extension:StubManager extension
 * Dowload all this extension's files and place in the desired directory
 * Apply the following changes to 'LocalSettings.php' after the statements of Extension:StubManager:

HISTORY

 * Corrected missing 'return true' statement in hook.
 * Removed 'view source' tab when permission is not granted to user.
 * Moved Singleton invocation to end of file to accomodate some PHP versions
 * Removed dependency on ExtensionClass
 * Made 'stub'-enabled
 * Added some protection against !isset indexes in '$wgExtensionCredits'