diff options
author | Remi Collet <remi@php.net> | 2018-07-03 13:52:04 +0200 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2018-07-03 13:52:04 +0200 |
commit | 8bf21adb8cc10de6d6b1992bf97e60b8d0b21219 (patch) | |
tree | 4bc4f517d38c444c2ad3cae557d7f5bc491458dc /configure.ac | |
parent | 9bbb9e537c4f88eb31038343e567c0eca4b9a00d (diff) | |
download | php-git-8bf21adb8cc10de6d6b1992bf97e60b8d0b21219.tar.gz |
bump to 7.2.9-dev
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index b079b72a21..cb3d4cd56e 100644 --- a/configure.ac +++ b/configure.ac @@ -107,7 +107,7 @@ int zend_sprintf(char *buffer, const char *format, ...); PHP_MAJOR_VERSION=7 PHP_MINOR_VERSION=2 -PHP_RELEASE_VERSION=7 +PHP_RELEASE_VERSION=9 PHP_EXTRA_VERSION="-dev" 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` |