summaryrefslogtreecommitdiff
path: root/main
diff options
context:
space:
mode:
authorRemi Collet <remi@php.net>2019-10-22 08:15:44 +0000
committerRemi Collet <remi@php.net>2019-10-22 08:15:44 +0000
commitd41dd0b518cd831c50d0f441aa5fc561d55bff66 (patch)
tree653d02c0a2972ba7ec3673d7c9b0c31711c217e2 /main
parent46ac6549cce9c3c6d17bcd7b1ccad2192e029f09 (diff)
downloadphp-git-php-7.2.24.tar.gz
Update versions for PHP 7.2.24php-7.2.24
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 745be96ae7..5626a69519 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 24
-#define PHP_EXTRA_VERSION "-dev"
-#define PHP_VERSION "7.2.24-dev"
+#define PHP_EXTRA_VERSION ""
+#define PHP_VERSION "7.2.24"
#define PHP_VERSION_ID 70224