diff options
| author | Julien Pauli <jpauli@php.net> | 2016-03-29 18:11:03 +0200 |
|---|---|---|
| committer | Julien Pauli <jpauli@php.net> | 2016-03-29 18:11:03 +0200 |
| commit | f0120ff8787ce5efc509a8365fd815d1144c366e (patch) | |
| tree | 706f669a18eb75459755bfe3ca855d09ae09b6a5 /main | |
| parent | 551423c64235e2a06a767d2dfa17717001e5e207 (diff) | |
| download | php-git-f0120ff8787ce5efc509a8365fd815d1144c366e.tar.gz | |
5.5.35 now
Diffstat (limited to 'main')
| -rw-r--r-- | main/php_version.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/main/php_version.h b/main/php_version.h index 25446e3d65..f87cc38eda 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 34 +#define PHP_RELEASE_VERSION 35 #define PHP_EXTRA_VERSION "-dev" -#define PHP_VERSION "5.5.34-dev" -#define PHP_VERSION_ID 50534 +#define PHP_VERSION "5.5.35-dev" +#define PHP_VERSION_ID 50535 |