mirror of
https://github.com/php/php-src.git
synced 2025-08-16 14:08:47 +02:00
7 lines
235 B
C
7 lines
235 B
C
/* automatically generated by configure */
|
|
/* edit configure.in to change version number */
|
|
#define PHP_MAJOR_VERSION 5
|
|
#define PHP_MINOR_VERSION 1
|
|
#define PHP_RELEASE_VERSION 2
|
|
#define PHP_EXTRA_VERSION ""
|
|
#define PHP_VERSION "5.1.2"
|