Jump to content

Extension:GroupPermissionsManager

From mediawiki.org

(Redirected from Extension:GroupPermissions Manager)

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

To see the page before archival, click here.

Retrieved from "https://www.mediawiki.org/w/index.php?title=Extension:GroupPermissionsManager&oldid=4415723"

Archived extensions