diff options
author | Remi Collet <remi@php.net> | 2018-08-28 10:17:33 +0200 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2018-08-28 10:17:33 +0200 |
commit | 7353dae815c5b35d91f9233470d7f12f113033bf (patch) | |
tree | 818893fb5cc4f2ab0e9eb382a27ede2b6b7fd768 /configure.ac | |
parent | 20849b0b0fa60e257a75a3182dff5095811c80d8 (diff) | |
download | php-git-7353dae815c5b35d91f9233470d7f12f113033bf.tar.gz |
bump to 7.2.11-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 d8dc32c63b..11f85e0748 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=9 +PHP_RELEASE_VERSION=11 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` |