Translations:Extension:DeleteBatch/13/en

By default, this extension lets only bureaucrats delete batches.