diff options
| author | jvoisin | 2022-03-20 18:35:31 +0100 |
|---|---|---|
| committer | jvoisin | 2022-03-20 18:35:31 +0100 |
| commit | 70aae5917737e42f392edc00ceb7af35b7740eb8 (patch) | |
| tree | 8d8e6e4c0a2ffd6b4548ca95c98d5e7d6b61ca3d /src/sp_php_compat.c | |
| parent | 28a11c126d2305cbff31343245b76ea3b3cfd1f5 (diff) | |
Re-enable old php version in the CI
Diffstat (limited to 'src/sp_php_compat.c')
0 files changed, 0 insertions, 0 deletions