Editing: PrunableBatchRepository.php