diff options
| author | Christoph M. Becker <cmbecker69@gmx.de> | 2020-11-10 13:51:40 +0100 |
|---|---|---|
| committer | Christoph M. Becker <cmbecker69@gmx.de> | 2020-11-19 16:23:20 +0100 |
| commit | c2b1182879bf2785245638945851c241b0859cbb (patch) | |
| tree | c4da6ac19d4d8b365eea81ded5f3cbb8977b2aa1 /php.ini-development | |
| parent | 99a8ec6e24d2788bb533ab5be8618a958adf24cf (diff) | |
| download | php-git-c2b1182879bf2785245638945851c241b0859cbb.tar.gz | |
Fix #80345: PHPIZE configuration has outdated PHP_RELEASE_VERSION
We must not redefine the version "constants" for phpize builds, because
these have already generated in phpize.js, from where we pass these
variables forward to configure.js.
We also add `PHP_EXTRA_VERSION` and `PHP_VERSION_STRING` to the files
for completeness.
Closes GH-6419.
Diffstat (limited to 'php.ini-development')
0 files changed, 0 insertions, 0 deletions