Extension:GroupPermissionsManager
From mediawiki.org
This extension has been archived.
Unmaintained and does not work with PHP 5.3+.
Alternatives:
- Manual:$wgRevokePermissions -- replacement for the "never" setting in GroupPermissionsManager, is now a part of core
- Extension:UserGroups -- provides an interface that allows the user accessing it the ability create, delete, modify and configure user groups