summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRemi Collet <remi@php.net>2019-06-18 07:08:22 +0000
committerRemi Collet <remi@php.net>2019-06-18 07:08:22 +0000
commitddd4683387879388d444a2672c474d9ede2fa73a (patch)
treea97e6b581848ac607a3e88a1e63bd01764535bec
parentad262c9c99ccc30baac77b9cc35f0e760d196016 (diff)
downloadphp-git-php-7.2.20RC2.tar.gz
Update versions for PHP 7.2.20RC2php-7.2.20RC2
-rw-r--r--configure.ac2
-rw-r--r--main/php_version.h4
2 files changed, 3 insertions, 3 deletions
diff --git a/configure.ac b/configure.ac
index 802d5167ba..1d73dded51 100644
--- a/configure.ac
+++ b/configure.ac
@@ -108,7 +108,7 @@ int zend_sprintf(char *buffer, const char *format, ...);
PHP_MAJOR_VERSION=7
PHP_MINOR_VERSION=2
PHP_RELEASE_VERSION=20
-PHP_EXTRA_VERSION="-dev"
+PHP_EXTRA_VERSION="RC2"
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`
diff --git a/main/php_version.h b/main/php_version.h
index ba544449a0..1c637397e8 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 20
-#define PHP_EXTRA_VERSION "-dev"
-#define PHP_VERSION "7.2.20-dev"
+#define PHP_EXTRA_VERSION "RC2"
+#define PHP_VERSION "7.2.20RC2"
#define PHP_VERSION_ID 70220