diff options
| author | jvoisin | 2022-07-13 02:10:44 +0200 |
|---|---|---|
| committer | jvoisin | 2022-07-13 02:10:44 +0200 |
| commit | a205a17fc49dfb6701fdc68c1f2b05f11cd1e56f (patch) | |
| tree | 424a0b227497fa3a765976564dddc62ccb64462c /src/tests/disable_function/disabled_function_local_var_5.phpt | |
| parent | 3dbb2f3feeec54c4ab6b2efc53b5c5635dbd9129 (diff) | |
Remove some dead code
Diffstat (limited to 'src/tests/disable_function/disabled_function_local_var_5.phpt')
0 files changed, 0 insertions, 0 deletions