summaryrefslogtreecommitdiff
path: root/main
diff options
context:
space:
mode:
authorSara Golemon <pollita@php.net>2018-06-19 14:10:44 +0000
committerSara Golemon <pollita@php.net>2018-06-19 14:10:44 +0000
commita70ed769120fd596db56bba791766ecb2d1ad39f (patch)
tree5341f999181d4a60efee7f090168f47594823e31 /main
parent5f58f5ccf0909a90baef1280c3826f96b8e133ee (diff)
downloadphp-git-php-7.2.7.tar.gz
Update versions for PHP 7.2.7php-7.2.7
Diffstat (limited to 'main')
-rw-r--r--main/php_version.h4
1 files changed, 2 insertions, 2 deletions
diff --git a/main/php_version.h b/main/php_version.h
index 604a1759ad..22800ff7b8 100644
--- a/main/php_version.h
+++ b/main/php_version.h
@@ -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