1
0
mirror of https://github.com/php/php-src.git synced 2026-04-02 05:32:28 +02:00
Files
archived-php-src/ext
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
..
2019-12-16 10:32:49 -08:00
2020-06-23 15:57:24 +02:00
2020-10-15 10:16:22 +02:00
2020-10-22 17:01:48 +01:00
2020-02-03 13:03:54 +01:00
2020-07-28 10:23:10 +02:00
2020-10-02 15:02:35 +02:00
2020-09-17 10:12:10 +02:00
2020-04-23 17:35:09 +02:00
2020-09-25 16:28:48 +01:00
2020-09-03 10:29:38 +02:00
2020-06-19 17:31:28 +02:00
2020-02-28 17:06:05 +01:00
2020-07-22 20:45:56 +02:00
2020-09-30 08:37:16 +03:00
2020-06-19 10:46:26 +02:00