Anatol Belski c9fc0095ce Merge branch 'PHP-7.2' ... * PHP-7.2: Fixed bug #76462 Undefined property: DateInterval::$f		2018-06-12 15:31:49 +02:00
..
lib	Updated to version 2018.5 (2018e)	2018-05-08 09:24:28 +01:00
tests	Merge branch 'PHP-7.2'	2018-06-12 15:31:49 +02:00
config0.m4	Revert "Remove removed header files from configuration files."	2017-08-16 15:19:11 +01:00
config.w32	Merge branch 'PHP-7.0' into PHP-7.1	2017-08-16 15:20:45 +01:00
CREDITS
php_date.c	Merge branch 'PHP-7.2'	2018-06-12 15:31:49 +02:00
php_date.h	Export php_date_get_interval_ce() and php_date_get_period_ce() for extension use	2018-05-23 21:04:07 +02:00