| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| constants.php | 4161 | 2022-Feb-02 13:45 |
| namespaced.php | 1345 | 2022-Feb-02 13:45 |
| php72compat.php | 41569 | 2022-Feb-02 13:45 |
| php72compat_const.php | 4491 | 2022-Feb-02 13:45 |
| sodium_compat.php | 24518 | 2022-Feb-02 13:45 |