File UserAgent.php not deleted

 Name Size Modified Perms Owner Actions
..
Browsers.php
2.29 KB 07.11.24 14:42 0644 webcknlt:webcknlt
Platforms.php
1.32 KB 24.09.21 22:00 0644 webcknlt:webcknlt
UserAgent.php
1.05 KB 06.07.20 04:10 0644 webcknlt:webcknlt
UserAgentInterface.php
463 B 06.07.20 04:10 0644 webcknlt:webcknlt
UserAgentParser.php
1.13 KB 06.07.20 04:10 0644 webcknlt:webcknlt
Full Size: 6.23 KB File: 5 Folder: 0 Memory used: 4 MB Partition size: 973.95 GB free of 4.13 TB
Tiny File Manager 2.4.3