diff options
| author | jvoisin | 2018-01-19 14:12:18 +0100 |
|---|---|---|
| committer | jvoisin | 2018-01-19 14:12:18 +0100 |
| commit | c166a9ff5b7213276a3c14e00a9ba7f0ede98186 (patch) | |
| tree | 72436b40fab7992d543c5401624e52a96d0479d0 /Makefile | |
| parent | 093b89fb9e95012ab950febc6c51360e6a2d189a (diff) | |
Fix a possible double-execute
Some extensions might hook `zend_execute_internal` for various reason,
although few are doing it. We're not supposed to call the original
function in our hook if someone else is hooking it.
Thanks to @remicollet for the bug report and troubleshooting
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions
