Are you sure you want to delete the file File.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| Core | --- | 0755 | |
| Core32 | --- | 0755 | |
| PHP52 | --- | 0755 | |
| Compat.php | 150269 bytes | 0644 | |
| Crypto.php | 54869 bytes | 0644 | |
| Crypto32.php | 55178 bytes | 0644 | |
| File.php | 53116 bytes | 0644 | |
| SodiumException.php | 217 bytes | 0644 |