diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2021-03-16 12:28:47 +0100 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2021-03-16 12:30:56 +0100 |
commit | fa9e2b31b88b1189e0b3d29840e3cce9f44c632d (patch) | |
tree | 1d9747eaa6a4040fbb1e5f82551e2384e7b7ccaa /ext/standard | |
parent | 9140c9038a83ff55a78f357f8485de086d83d94e (diff) | |
download | php-git-fa9e2b31b88b1189e0b3d29840e3cce9f44c632d.tar.gz |
Check for php program in autoconf
Use the detected PHP (minimum 7.1) to run gen_stubs, and other
code generation scripts in the future.
Diffstat (limited to 'ext/standard')
0 files changed, 0 insertions, 0 deletions