summaryrefslogtreecommitdiff
path: root/main/php_version.h
diff options
context:
space:
mode:
authorSara Golemon <pollita@php.net>2018-11-20 19:01:28 +0000
committerSara Golemon <pollita@php.net>2018-11-20 19:01:28 +0000
commitdfbd99885b542c94f1f796405ca7b66323fcad7b (patch)
treedc86de35e10b6afa9a9a6d3167bc44245167be58 /main/php_version.h
parent90da8bf04c0098b7a05bf88537eb327e9fbb2f6d (diff)
downloadphp-git-php-7.2.13RC1.tar.gz
Update versions for PHP 7.2.13RC1php-7.2.13RC1
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 4b6f8dfaa3..3024031917 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 13
-#define PHP_EXTRA_VERSION "-dev"
-#define PHP_VERSION "7.2.13-dev"
+#define PHP_EXTRA_VERSION "RC1"
+#define PHP_VERSION "7.2.13RC1"
#define PHP_VERSION_ID 70213