Extension:ViewsourceRight

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

Features

 * No mediawiki installation source level changes

Dependencies

 * StubManager extension
 * HNP extension

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'

1.0.0

 * Moved to PEAR repository