mirror of
https://github.com/php/php-src.git
synced 2026-04-21 06:51:18 +02:00
21f2ff79de
We need to look for the right file. To avoid total confusion, we also rename the variables; however, the right solution would have been to drop the version suffixes, since they don't help (major + minor maybe, but not major only).