diff options
| author | jvoisin | 2020-11-30 10:15:57 +0100 |
|---|---|---|
| committer | GitHub | 2020-11-30 10:15:57 +0100 |
| commit | 95ee1fa689c335233df3345ce1fd0780b79ed2bc (patch) | |
| tree | 1115292efb986d886827d073ac5dc0a6beb6a073 /src/tests/disable_function/disabled_functions_include_simulation.phpt | |
| parent | e0d613408a2f770bc467815bdd7273986b3da70b (diff) | |
Fix the type of zend_compile_string (#357)
This was changed in https://github.com/php/php-src/commit/f5dbebd82e642b1d1af462b486fc392ecff2c67a
Diffstat (limited to 'src/tests/disable_function/disabled_functions_include_simulation.phpt')
0 files changed, 0 insertions, 0 deletions