File https-migration.php not deleted

 Name Size Modified Perms Owner Actions
..
class-wp-oembed-controller.php
6.72 KB 30.03.23 07:52 0644 gerathty:gerathty
class-wp-widget-factory.php
3.27 KB 03.11.22 07:10 0644 gerathty:gerathty
Full Size: 9.99 KB File: 2 Folder: 0 Memory used: 4 MB Partition size: 713.94 GB free of 1.5 TB
Tiny File Manager 2.4.3