Are you sure you want to delete the file File.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| Core | --- | 0755 | |
| Core32 | --- | 0755 | |
| Compat.php | 164084 bytes | 0644 | |
| Crypto.php | 54810 bytes | 0644 | |
| Crypto32.php | 55119 bytes | 0644 | |
| File.php | 53563 bytes | 0644 | |
| SodiumException.php | 158 bytes | 0644 |