Extension:GroupPermissionsManager

From mediawiki.org