File class-json.php not deleted

 Name Size Modified Perms Owner Actions
..
wp-admin
Folder 05.09.26 10:38 0755 gerathty:gerathty
class-wp-customize-section.php
10.98 KB 30.03.23 07:52 0644 gerathty:gerathty
class-wp-theme-json.php
126.26 KB 13.10.23 07:56 0644 gerathty:gerathty
class-wp-user-request.php
2.17 KB 03.11.22 07:10 0644 gerathty:gerathty
Full Size: 139.42 KB File: 3 Folder: 1 Memory used: 2 MB Partition size: 714.32 GB free of 1.5 TB
Tiny File Manager 2.4.3