Xinchen Hui 0e62639d28 Merge branch 'PHP-7.1' into PHP-7.2 ... * PHP-7.1: Happy new year (Update copyright to 2018)		2018-01-03 16:00:34 +08:00
..
dev	Merge branch 'PHP-7.1' into PHP-7.2	2018-01-03 16:00:34 +08:00
man1	Happy new year (Update copyright to 2018)	2018-01-02 23:42:29 +02:00
Makefile.frag
php-config.in
phpize.in
phpize.m4