diff options
author | Derick Rethans <github@derickrethans.nl> | 2020-01-21 11:35:15 +0000 |
---|---|---|
committer | Derick Rethans <github@derickrethans.nl> | 2020-01-21 11:35:15 +0000 |
commit | 264ef4f16300270dd4e92d2510660836a4814579 (patch) | |
tree | cc6cf369cdeb4559cec35c500dd5c47d4c3f6e6a /main | |
parent | 56de1e6c531301950c6d5e4458c61057f16f7df9 (diff) | |
download | php-git-php-7.4.2.tar.gz |
Update versions for PHP 7.4.2php-7.4.2
Diffstat (limited to 'main')
-rw-r--r-- | main/php_version.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/main/php_version.h b/main/php_version.h index 0eada26e63..9e45f25167 100644 --- a/main/php_version.h +++ b/main/php_version.h @@ -3,6 +3,6 @@ #define PHP_MAJOR_VERSION 7 #define PHP_MINOR_VERSION 4 #define PHP_RELEASE_VERSION 2 -#define PHP_EXTRA_VERSION "-dev" -#define PHP_VERSION "7.4.2-dev" +#define PHP_EXTRA_VERSION "" +#define PHP_VERSION "7.4.2" #define PHP_VERSION_ID 70402 |