diff options
| author | jvoisin | 2019-05-13 22:50:23 +0200 |
|---|---|---|
| committer | jvoisin | 2019-05-13 22:53:42 +0200 |
| commit | 561b23ae210853a988e51502f5c9056f07a4d0c1 (patch) | |
| tree | da48aace555168181761d3517438dfa890c5e021 /src/tests/disable_function/disabled_functions.phpt | |
| parent | 9d17a6a02f1f5d9b88b9df75cde2872a4328eee5 (diff) | |
Fix VLD-related issue in the CI
VLD isn't yet available for PHP7.4, so don't
install it on PHP > 7.3
Diffstat (limited to 'src/tests/disable_function/disabled_functions.phpt')
0 files changed, 0 insertions, 0 deletions