Christoph M. Becker 2be27074b6 Fix #80280: ADD_EXTENSION_DEP() fails for ext/standard and ext/date ...

`ADD_EXTENSION_DEP()` relies on the `PHP_<extname>` config variables to
be set to `"yes"`, and since the standard and date extension are always
enabled, we define the respective variables uncoditionally.

Closes GH-6383.

2020-10-26 11:03:05 +01:00

..

lib

Updated to version 2020.4 (2020d)

2020-10-22 10:12:24 +01:00

tests

Fixed test for bug #48097 due to confirmed data changes in timelib

2020-10-11 14:53:52 +01:00

config0.m4

Merge branch 'PHP-7.2' into PHP-7.3

2019-02-13 19:26:02 +01:00

config.w32

Fix #80280: ADD_EXTENSION_DEP() fails for ext/standard and ext/date

2020-10-26 11:03:05 +01:00

CREDITS

…

php_date.c

Fix #79396: DateTime hour incorrect during DST jump forward

2020-03-19 08:50:34 +01:00

php_date.h

Merge branch 'PHP-7.2' into PHP-7.3

2019-06-19 12:40:23 +02:00