diff options
| author | jvoisin | 2017-12-21 14:14:41 +0100 |
|---|---|---|
| committer | jvoisin | 2017-12-21 14:14:41 +0100 |
| commit | a3bcbfd610c513762a2a01dca3061960ffef16c0 (patch) | |
| tree | 2d9f004648000933dfdbe7d35781303faecd30b9 /src/tests/disabled_functions_runtime.phpt | |
| parent | 0d98f51e7dbde4a40c0039910d43ad378eaefa83 (diff) | |
Rename, again, some types
Diffstat (limited to 'src/tests/disabled_functions_runtime.phpt')
0 files changed, 0 insertions, 0 deletions