mirrors/php-src
0
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-11-24 10:24:11 +08:00
Code Issues Packages Projects Releases Wiki Activity

This will be PHP 5.3.20

Browse Source
This commit is contained in:
Johannes Schlüter 2012-11-08 00:01:43 +01:00
parent 7fcbe4d546
commit 417b1b238f
3 changed files with 11 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
NEWS
View File

@ -1,7 +1,14 @@
PHP NEWS
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
?? ??? 2ß12, PHP 5.3.20
?? ??? 2012, PHP 5.3.19
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
ADD NEWS ONLY ABOVE IN 5.3.20 SECTION
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
RM will merge 5.3.19 entries when merging to release branch
- Core
. Fixed bug #63241 (PHP fails to open Windows deduplicated files).
(daniel dot stelter-gliese at innogames dot de)

2
configure.in
View File

@ -41,7 +41,7 @@ AC_CONFIG_HEADER(main/php_config.h)
PHP_MAJOR_VERSION=5
PHP_MINOR_VERSION=3
PHP_RELEASE_VERSION=19
PHP_RELEASE_VERSION=20
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`

6
main/php_version.h
View File

@ -2,7 +2,7 @@
/* edit configure.in to change version number */
#define PHP_MAJOR_VERSION 5
#define PHP_MINOR_VERSION 3
#define PHP_RELEASE_VERSION 19
#define PHP_RELEASE_VERSION 20
#define PHP_EXTRA_VERSION "-dev"
#define PHP_VERSION "5.3.19-dev"
#define PHP_VERSION_ID 50319
#define PHP_VERSION "5.3.20-dev"
#define PHP_VERSION_ID 50320