PHP_VERSION_ID 8 main/php_version.h #define PHP_VERSION_ID 50508 PHP_VERSION_ID 70 run-tests.php define("PHP_VERSION_ID", "{$major}0{$minor}$bug");