Are you sure you want to delete the file php72compat.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| constants.php | 4161 bytes | 0644 | |
| namespaced.php | 1345 bytes | 0644 | |
| php72compat.php | 40955 bytes | 0644 | |
| php72compat_const.php | 4491 bytes | 0644 | |
| sodium_compat.php | 24518 bytes | 0644 |