Error while copying from wp-includes/sodium_compat/lib/php72compat.php to wp-includes/SimplePie/HTTP/php72compat.php

 Name Size Modified Perms Owner Actions
..
Folder is empty
Tiny File Manager 2.4.3