mirror of
https://github.com/php/php-src.git
synced 2025-08-18 15:08:55 +02:00
8f43323dee
to differentiate between different branches. - Bumbed the version number to 6.0.0-dev. I know we didn't discuss this yet, but I feel it should be 6.0. See mail to the mailinglist.
7 lines
243 B
C
7 lines
243 B
C
/* automatically generated by configure */
|
|
/* edit configure.in to change version number */
|
|
#define PHP_MAJOR_VERSION 6
|
|
#define PHP_MINOR_VERSION 0
|
|
#define PHP_RELEASE_VERSION 0
|
|
#define PHP_EXTRA_VERSION "-dev"
|
|
#define PHP_VERSION "6.0.0-dev"
|