/* 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 33
#define PHP_EXTRA_VERSION "-34+0~20210223.52+debian9~1.gbpb1fb69"
#define PHP_VERSION "7.1.33-34+0~20210223.52+debian9~1.gbpb1fb69"
#define PHP_VERSION_ID 70133