See also this upstream report re: PHP 7.4 needing some extra finessing to set EXTRA_VERSION: https://bugs.php.net/bug.php?id=79026
See also this upstream report re: PHP 7.4 needing some extra finessing to set EXTRA_VERSION: https:/ /bugs.php. net/bug. php?id= 79026