Tianon Gravi 6d7ea20646 Merge PHP_EXTRA_* into the places they're used
Also, this explicitly treats "cli" and "zts" variants as similar for the purposes of `--enable-embed`.
2021-10-08 17:40:11 -07:00
..
2021-06-16 16:11:19 +02:00
2021-06-16 16:11:19 +02:00
2021-06-16 16:11:19 +02:00
2021-06-16 16:11:19 +02:00
2021-06-16 16:11:19 +02:00