/* automatically generated by configure */
/* edit configure.in to change version number */
#define PHP_MAJOR_VERSION 5
#define PHP_MINOR_VERSION 6
#define PHP_RELEASE_VERSION 15
#define PHP_EXTRA_VERSION "-1+nhojohl~trusty+1"
#define PHP_VERSION "5.6.15-1+nhojohl~trusty+1"
#define PHP_VERSION_ID 50615