Translations:User:Eisheeta/Sandbox/maintenance/emptyUserGroup.php/3/en

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