Plugin Author
TIEro
(@tiero)
TIEtools doesn’t do that, as WP doesn’t do it.
However… there’s an easy workaround. Simply install the “DX Delete Attached Media” plugin (https://wordpress.org/plugins/dx-delete-attached-media/) and activate it.
That takes care of removing the media files when the posts leave the trash, which gives you time to say “Oops” and catch them if required.