diff options
| author | Joe Watkins <krakjoe@php.net> | 2018-04-24 13:35:56 +0200 |
|---|---|---|
| committer | Joe Watkins <krakjoe@php.net> | 2018-04-24 13:35:56 +0200 |
| commit | 0f3897573515b7aca3e5425d77baee14fe33edd4 (patch) | |
| tree | 89060699f5c7f1a47e6162630935754b696821a9 /main/php_version.h | |
| parent | 7ba447cae24ab44234b2b3feaf2ae188ef3e7795 (diff) | |
| download | php-git-PHP-7.1.17.tar.gz | |
add news items and set versionsphp-7.1.17PHP-7.1.17
Diffstat (limited to 'main/php_version.h')
| -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 a96c41b9cf..2ed0a7f2d4 100644 --- a/main/php_version.h +++ b/main/php_version.h @@ -3,6 +3,6 @@ #define PHP_MAJOR_VERSION 7 #define PHP_MINOR_VERSION 1 #define PHP_RELEASE_VERSION 17 -#define PHP_EXTRA_VERSION "RC1" -#define PHP_VERSION "7.1.17RC1" +#define PHP_EXTRA_VERSION "" +#define PHP_VERSION "7.1.17" #define PHP_VERSION_ID 70117 |