diff options
author | Christoph M. Becker <cmbecker69@gmx.de> | 2018-07-31 13:28:47 +0200 |
---|---|---|
committer | Christoph M. Becker <cmbecker69@gmx.de> | 2018-07-31 13:33:48 +0200 |
commit | 144e8d1f8352ddde234b532260f98a80c86e77f8 (patch) | |
tree | 2d87c36ef1e3f3d74286d84368ab25dd15b03f40 /main | |
parent | bf5cf794565cf0980d5922b8ece7ad5836a07c29 (diff) | |
download | php-git-144e8d1f8352ddde234b532260f98a80c86e77f8.tar.gz |
Update API version numbers
These are supposed to be final now for PHP 7.3.
Diffstat (limited to 'main')
-rw-r--r-- | main/php.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/main/php.h b/main/php.h index 53ac983a75..697d3ff935 100644 --- a/main/php.h +++ b/main/php.h @@ -24,7 +24,7 @@ #include <dmalloc.h> #endif -#define PHP_API_VERSION 20180606 +#define PHP_API_VERSION 20180731 #define PHP_HAVE_STREAMS #define YYDEBUG 0 #define PHP_DEFAULT_CHARSET "UTF-8" |