1 /* automatically generated by configure */ 2 /* edit configure.in to change version number */ 3 #define PHP_MAJOR_VERSION 7 4 #define PHP_MINOR_VERSION 1 5 #define PHP_RELEASE_VERSION 34 6 #define PHP_EXTRA_VERSION "-dev" 7 #define PHP_VERSION "7.1.34-dev" 8 #define PHP_VERSION_ID 70134 9
