php-src/main/php_version.h
2018-01-16 19:47:35 +01:00

9 lines
274 B
C

/* automatically generated by configure */
/* edit configure.in to change version number */
#define PHP_MAJOR_VERSION 7
#define PHP_MINOR_VERSION 1
#define PHP_RELEASE_VERSION 15
#define PHP_EXTRA_VERSION "-dev"
#define PHP_VERSION "7.1.15-dev"
#define PHP_VERSION_ID 70115