From: Christoph M. Becker <cmbecker69@gmx.de>
Date: Sun, 9 Dec 2018 23:16:23 +0000 (+0100)
Subject: Fix version numbers in main branch
X-Git-Tag: php-7.3.1RC1~10^2
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=b0177d3892f870ac7bf983f3332fc6a1f2ef78a2;p=php

Fix version numbers in main branch

This should have already happened, when `PHP-7.3.0` was branched.
---

diff --git a/Zend/zend.h b/Zend/zend.h
index 8f2621c710..8c4251fd12 100644
--- a/Zend/zend.h
+++ b/Zend/zend.h
@@ -20,7 +20,7 @@
 #ifndef ZEND_H
 #define ZEND_H
 
-#define ZEND_VERSION "3.3.0-dev"
+#define ZEND_VERSION "3.3.1-dev"
 
 #define ZEND_ENGINE_3
 
diff --git a/main/php_version.h b/main/php_version.h
index e81c515249..f3afbd8a33 100644
--- a/main/php_version.h
+++ b/main/php_version.h
@@ -2,7 +2,7 @@
 /* edit configure.ac to change version number */
 #define PHP_MAJOR_VERSION 7
 #define PHP_MINOR_VERSION 3
-#define PHP_RELEASE_VERSION 0
+#define PHP_RELEASE_VERSION 1
 #define PHP_EXTRA_VERSION "-dev"
-#define PHP_VERSION "7.3.0-dev"
-#define PHP_VERSION_ID 70300
+#define PHP_VERSION "7.3.1-dev"
+#define PHP_VERSION_ID 70301