File class-options.php not deleted

 Name Size Modified Perms Owner Actions
..
class-main.php
5.83 KB 10.06.24 21:15 0644 webcknlt:webcknlt
class-options.php
3.82 KB 06.05.24 23:42 0644 webcknlt:webcknlt
class-package-version.php
634 B 21.07.25 21:23 0644 webcknlt:webcknlt
class-rest-provider.php
1.84 KB 01.04.24 20:13 0644 webcknlt:webcknlt
class-tracking-pixel.php
11.67 KB 16.06.25 23:21 0644 webcknlt:webcknlt
class-wpcom-stats.php
15.79 KB 24.06.25 00:56 0644 webcknlt:webcknlt
class-xmlrpc-provider.php
3.12 KB 01.04.24 20:13 0644 webcknlt:webcknlt
Full Size: 42.7 KB File: 7 Folder: 0 Memory used: 4 MB Partition size: 953.67 GB free of 4.13 TB
Tiny File Manager 2.4.3