summaryrefslogtreecommitdiff
path: root/main/php_version.h
diff options
context:
space:
mode:
authorSara Golemon <pollita@php.net>2019-04-02 15:06:27 +0000
committerSara Golemon <pollita@php.net>2019-04-02 15:06:27 +0000
commit2132588c04e9c1061ac9d3a4f583cd02b9fe441d (patch)
tree7a6d91edacafc4a25b28fe7e70c326b1672cba42 /main/php_version.h
parentf3bc3838009ab7c82b307add1f9cf0426e9e5170 (diff)
downloadphp-git-php-7.2.17.tar.gz
Update versions for PHP 7.2.17php-7.2.17
Diffstat (limited to 'main/php_version.h')
-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 7fd60db3bc..72fe937922 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 17
-#define PHP_EXTRA_VERSION "-dev"
-#define PHP_VERSION "7.2.17-dev"
+#define PHP_EXTRA_VERSION ""
+#define PHP_VERSION "7.2.17"
#define PHP_VERSION_ID 70217