diff options
| author | Remi Collet <remi@php.net> | 2019-10-08 11:36:10 +0200 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2019-10-08 11:36:10 +0200 |
| commit | 05d6878b3b687c3d1a8037e42a7050d309a74e17 (patch) | |
| tree | b0c553b038fafaa1bdc3f8c3397b55f418b1a9b5 /main | |
| parent | fd3118ffb0a47d39489607967172c3b3fc75277a (diff) | |
| download | php-git-05d6878b3b687c3d1a8037e42a7050d309a74e17.tar.gz | |
next is 7.2.25
Diffstat (limited to 'main')
| -rw-r--r-- | main/php_version.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/main/php_version.h b/main/php_version.h index 745be96ae7..f9265695ce 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 2 -#define PHP_RELEASE_VERSION 24 +#define PHP_RELEASE_VERSION 25 #define PHP_EXTRA_VERSION "-dev" -#define PHP_VERSION "7.2.24-dev" -#define PHP_VERSION_ID 70224 +#define PHP_VERSION "7.2.25-dev" +#define PHP_VERSION_ID 70225 |