prep for 5.6.19RC1

diff --git a/NEWS b/NEWS
index 041fa6af0aaa881a97a45468359b8da9170d6e2e..0d936b7ae07ee84c23e632edc01f3f46a4740ba3 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,8 +1,6 @@
 PHP                                                                        NEWS
 |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
-?? ??? 2016, PHP 5.6.20
-
-03 Mar 2016, PHP 5.6.19
+18 Feb 2016, PHP 5.6.19RC1
 
 - CLI server:
   . Fixed bug #71559 (Built-in HTTP server, we can download file in web by bug).

diff --git a/configure.in b/configure.in
index ee819eb37650730c0f1917555de910ed56e959d7..08b870f1d52119255a446147a2f8898766fe7d23 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -119,8 +119,8 @@ int zend_sprintf(char *buffer, const char *format, ...);
 
 PHP_MAJOR_VERSION=5
 PHP_MINOR_VERSION=6
-PHP_RELEASE_VERSION=20
-PHP_EXTRA_VERSION="-dev"
+PHP_RELEASE_VERSION=19
+PHP_EXTRA_VERSION="RC1"
 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`
 

diff --git a/main/php_version.h b/main/php_version.h
index 8173dd0546a80efa79d51012728a3f0b0fc9a6b7..cb8b9abbe371d9316134c479b1c4d8eaf54bc47e 100644 (file)
--- 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 6
-#define PHP_RELEASE_VERSION 20
-#define PHP_EXTRA_VERSION "-dev"
-#define PHP_VERSION "5.6.20-dev"
-#define PHP_VERSION_ID 50620
+#define PHP_RELEASE_VERSION 19
+#define PHP_EXTRA_VERSION "RC1"
+#define PHP_VERSION "5.6.19RC1"
+#define PHP_VERSION_ID 50619