5.5.7

Author: Julien Pauli

NEWS

@@ -1,6 +1,6 @@
 PHP                                                                        NEWS
 |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
-28 Nov 2013, PHP 5.5.7RC1
+12 Dec 2013, PHP 5.5.7
 
 - CLI server:
   . Added some MIME types to the CLI web server (Chris Jones)
@@ -17,6 +17,10 @@ PHP                                                                        NEWS
   . Fixed bug #65559 (Opcache: cache not cleared if changes occur while
     running). (Dmitry)
 
+- OpenSSL:
+  . Fixed memory corruption in openssl_x509_parse() (CVE-2013-6420).
+    (Stefan Esser).
+
 - readline
   . Fixed Bug #65714 (PHP cli forces the tty to cooked mode). (Remi)
 

configure.in

@@ -120,7 +120,7 @@ int zend_sprintf(char *buffer, const char *format, ...);
 PHP_MAJOR_VERSION=5
 PHP_MINOR_VERSION=5
 PHP_RELEASE_VERSION=7
-PHP_EXTRA_VERSION="RC1"
+PHP_EXTRA_VERSION=""
 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`
 

main/php_version.h

@@ -3,6 +3,6 @@
 #define PHP_MAJOR_VERSION 5
 #define PHP_MINOR_VERSION 5
 #define PHP_RELEASE_VERSION 7
-#define PHP_EXTRA_VERSION "RC1"
-#define PHP_VERSION "5.5.7RC1"
+#define PHP_EXTRA_VERSION ""
+#define PHP_VERSION "5.5.7"
 #define PHP_VERSION_ID 50507