Remi Collet 9271f9482b Merge branch 'PHP-7.3' ...

* PHP-7.3:
  bump to 7.2.13-dev

2018-10-23 12:16:49 +02:00

..

lib

Merge branch 'PHP-7.3'

2018-10-23 12:16:49 +02:00

tests

Sync leading and final newlines in *.phpt sections

2018-10-15 04:33:09 +02:00

config0.m4

Trim trailing whitespaces in build files

2018-07-29 03:43:45 +02:00

config.w32

Change some permissions from 755 to 644

2018-08-28 23:26:49 +02:00

CREDITS

…

php_date.c

Migrate ext/date to get_properties_for where appropriate

2018-10-10 10:39:10 +02:00

php_date.h

Remove unused Git attributes ident

2018-07-25 00:53:25 +02:00