Manual:EmptyUserGroup.php/de-formal

Details
emptyUserGroup.php file is a maintenance script that removes all users from a given group. User rights groups are defined through. This script is useful when you are removing the user rights group.