Are you sure you want to delete the file php72compat.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| lib | --- | 0755 | |
| .htaccess | 276 bytes | 0444 | |
| constants.php | 4161 bytes | 0644 | |
| namespaced.php | 1345 bytes | 0644 | |
| php72compat.php | 41709 bytes | 0644 | |
| php72compat_const.php | 4597 bytes | 0644 | |
| ristretto255.php | 7210 bytes | 0644 | |
| sodium_compat.php | 24536 bytes | 0644 | |
| stream-xchacha20.php | 1287 bytes | 0644 |