Translations:Manual:EmptyUserGroup.php/3/en

$file file is a maintenance script that removes all users from a given group.