Delete comments from trash – for admin only

Hello!

We would like that only admins can delete comments from trash. All moderators authors etc can send comments to trash, but only admins can delete them. We can write a function in child theme, but maybe that would be a good addition to your great plugin!

Thank you!