com php-src: Update versions for PHP 7.2.30: configure.ac main/php_version.h

Commit: a516aa0d2c75a2e3dd9214fb75c2a16c1c534a82 Author: Sara Golemon <pollita@php.net> Tue, 14 Apr 2020 15:16:26 +0000 Parents: cf083535f8ba49e6812b4bf22c2e95dfe46d8ecd Branches: PHP-7.2.30 Link: http://git.php.net/?p=php-src.git;a=commitdiff;h=a516aa0d2c75a2e3dd9214fb75c2a16c1c534a82 Log: Update versions for PHP 7.2.30 Changed paths: M configure.ac M main/php_version.h Diff: diff --git a/configure.ac b/configure.ac index 9d9776b38b..d95cfae1db 100644 --- a/configure.ac +++ b/configure.ac @@ -108,7 +108,7 @@ int zend_sprintf(char *buffer, const char *format, ...); PHP_MAJOR_VERSION=7 PHP_MINOR_VERSION=2 PHP_RELEASE_VERSION=30 -PHP_EXTRA_VERSION="-dev" +PHP_EXTRA_VERSION="" 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 diff --git a/main/php_version.h b/main/php_version.h index fe091993d6..34fdf64098 100644 --- a/main/php_version.h +++ b/main/php_version.h @@ -3,6 +3,6 @@ #define PHP_MAJOR_VERSION 7 #define PHP_MINOR_VERSION 2 #define PHP_RELEASE_VERSION 30 -#define PHP_EXTRA_VERSION "-dev" -#define PHP_VERSION "7.2.30-dev" +#define PHP_EXTRA_VERSION "" +#define PHP_VERSION "7.2.30" #define PHP_VERSION_ID 70230