Update versions for PHP 7.2.7

Update NEWS for PHP 7.2.7
Nothing between 7.2.7 RC1 and GA
2026-11-08 17:50:50 +00:00 · 2018-06-19 14:10:44 +00:00 · 2018-06-19 14:10:43 +00:00 · 2018-06-19 10:10:03 -04:00 · 2018-06-05 15:31:09 +00:00 · 2018-06-05 15:04:42 +00:00
3 changed files with 4 additions and 4 deletions
@@ -1,6 +1,6 @@
 PHP                                                                        NEWS
 |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
-?? ??? 2018, PHP 7.2.7
+21 Jun 2018, PHP 7.2.7

 - Core:
  . Fixed bug #76337 (segfault when opcache enabled + extension use
@@ -108,7 +108,7 @@ int zend_sprintf(char *buffer, const char *format, ...);
 PHP_MAJOR_VERSION=7
 PHP_MINOR_VERSION=2
 PHP_RELEASE_VERSION=7
-PHP_EXTRA_VERSION="-dev"
+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`

@@ -3,6 +3,6 @@
 #define PHP_MAJOR_VERSION 7
 #define PHP_MINOR_VERSION 2
 #define PHP_RELEASE_VERSION 7
-#define PHP_EXTRA_VERSION "-dev"
-#define PHP_VERSION "7.2.7-dev"
+#define PHP_EXTRA_VERSION ""
+#define PHP_VERSION "7.2.7"
 #define PHP_VERSION_ID 70207
Author	SHA1	Message	Date
Sara Golemon	a70ed76912	Update versions for PHP 7.2.7	2018-06-19 14:10:44 +00:00
Sara Golemon	5f58f5ccf0	Update NEWS for PHP 7.2.7	2018-06-19 14:10:43 +00:00
Sara Golemon	4fbbcc8cc3	Nothing between 7.2.7 RC1 and GA	2018-06-19 10:10:03 -04:00
Sara Golemon	c5b295d8ec	Update NEWS for 7.2.7	2018-06-05 15:31:09 +00:00
Sara Golemon	f4300cc374	Update NEWS for PHP 7.2.7RC1	2018-06-05 15:04:42 +00:00