Translations:Extension:BatchUserRights/4/en

To install this extension, add the following to $LocalSettings: