/* automatically generated by configure */
/* edit configure.ac to change version number */
#define PHP_MAJOR_VERSION 8
#define PHP_MINOR_VERSION 0
#define PHP_RELEASE_VERSION 13
#define PHP_EXTRA_VERSION "RC1"
#define PHP_VERSION "8.0.13RC1"
#define PHP_VERSION_ID 80013
