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