diff options
| author | jvoisin | 2018-01-17 19:19:15 +0100 |
|---|---|---|
| committer | jvoisin | 2018-01-17 19:19:15 +0100 |
| commit | 05e4b7ea67e07bb82db2a37930b383d51500b341 (patch) | |
| tree | 15b46687d580d91b250aa55239906fbabb42f781 /src/tests/disabled_functions_require_allow.phpt | |
| parent | 432a03f571ec0870b8e61f09b9044e6ba0fd8322 (diff) | |
Fix a minor warning
Diffstat (limited to 'src/tests/disabled_functions_require_allow.phpt')
0 files changed, 0 insertions, 0 deletions