/* automatically generated by configure */ /* edit configure.in to change version number */ #define PHP_MAJOR_VERSION 5 #define PHP_MINOR_VERSION 3 #define PHP_RELEASE_VERSION 1 #define PHP_EXTRA_VERSION "-dev" #define PHP_VERSION "5.3.1-dev" #define PHP_VERSION_ID 50301