]> granicus.if.org Git - php/commitdiff
Bump version
authorDavid Soria Parra <dsp@php.net>
Wed, 19 Jun 2013 20:11:52 +0000 (22:11 +0200)
committerDavid Soria Parra <dsp@php.net>
Wed, 19 Jun 2013 20:11:52 +0000 (22:11 +0200)
configure.in
main/php_version.h

index f531bebdd138de3c4df7490d2b24060d3849efb4..f3a262262a36ae88b70c49378db527cebf18c8b6 100644 (file)
@@ -119,7 +119,7 @@ int zend_sprintf(char *buffer, const char *format, ...);
 
 PHP_MAJOR_VERSION=5
 PHP_MINOR_VERSION=5
-PHP_RELEASE_VERSION=0
+PHP_RELEASE_VERSION=1
 PHP_EXTRA_VERSION="-dev"
 PHP_VERSION="$PHP_MAJOR_VERSION.$PHP_MINOR_VERSION.$PHP_RELEASE_VERSION$PHP_EXTRA_VERSION"
 PHP_VERSION_ID=`expr [$]PHP_MAJOR_VERSION \* 10000 + [$]PHP_MINOR_VERSION \* 100 + [$]PHP_RELEASE_VERSION`
index 1995834e0342674ad32cae948ba3ce6d497ff175..d4d4fe05ebb8ee0cd8cc3e9dcbc77d0dc272110e 100644 (file)
@@ -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 0
+#define PHP_RELEASE_VERSION 1
 #define PHP_EXTRA_VERSION "-dev"
-#define PHP_VERSION "5.5.0-dev"
-#define PHP_VERSION_ID 50500
+#define PHP_VERSION "5.5.1-dev"
+#define PHP_VERSION_ID 50501