Update php_version.h