diff options
| author | Julien Pauli <jpauli@php.net> | 2014-04-15 18:01:14 +0200 |
|---|---|---|
| committer | Julien Pauli <jpauli@php.net> | 2014-04-15 18:01:14 +0200 |
| commit | 8db1ba94e440a6bbb387b3a6b34d1d9235537e55 (patch) | |
| tree | a42df0627ad6033e9d64357716567603a384b0b2 /main | |
| parent | b8d029435dd436487a455a758e8dc10d1c94096e (diff) | |
| download | php-git-php-5.5.12RC1.tar.gz | |
5.5.12RC1php-5.5.12RC1
Diffstat (limited to 'main')
| -rw-r--r-- | main/php_version.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/main/php_version.h b/main/php_version.h index 4574767493..101cb4b08f 100644 --- a/main/php_version.h +++ b/main/php_version.h @@ -2,7 +2,7 @@ /* edit configure.in to change version number */ #define PHP_MAJOR_VERSION 5 #define PHP_MINOR_VERSION 5 -#define PHP_RELEASE_VERSION 13 -#define PHP_EXTRA_VERSION "-dev" -#define PHP_VERSION "5.5.13-dev" -#define PHP_VERSION_ID 50513 +#define PHP_RELEASE_VERSION 12 +#define PHP_EXTRA_VERSION "RC1" +#define PHP_VERSION "5.5.12RC1" +#define PHP_VERSION_ID 50512 |