diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2021-03-16 13:08:37 +0100 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2021-03-16 13:08:37 +0100 |
| commit | 9b816d83f6feb3c4d0aa75bf304aafc394f14daf (patch) | |
| tree | f091bb252a8d55643a3148f02e710bdd023d7864 /ext/standard | |
| parent | c386b1fb177ec0dccc840cbec801e69609ced5c3 (diff) | |
| download | php-git-9b816d83f6feb3c4d0aa75bf304aafc394f14daf.tar.gz | |
Automatically run zend_vm_gen.php if zend_vm_def.h changes
Diffstat (limited to 'ext/standard')
0 files changed, 0 insertions, 0 deletions