Nikita Popov
fd5ff37db7
Make finfo_open() $magic_database nullable
...
Empty string was interpreted as a special value here, which indicates
that the default magic database should be used. It makes more sense
to use null for this purpose.
The documentation also explicitly mentions that null can be used.
2021-02-10 12:18:42 +01:00
..
2021-01-12 09:50:27 +01:00
2020-10-16 10:56:33 +02:00
2020-10-07 14:58:43 +02:00
2021-01-24 16:06:49 +01:00
2020-09-01 16:35:56 +02:00
2021-02-02 10:32:11 +01:00
2021-01-25 10:44:06 +00:00
2020-10-22 14:50:52 +02:00
2021-02-09 22:38:06 +01:00
2020-10-02 11:55:46 +02:00
2020-10-02 11:56:16 +02:00
2021-02-09 22:38:06 +01:00
2021-02-10 12:18:42 +01:00
2021-01-26 22:55:16 -08:00
2020-10-02 14:26:39 +02:00
2021-02-09 15:18:59 +01:00
2021-01-25 15:44:14 +01:00
2021-01-04 15:27:20 +01:00
2020-10-07 12:26:46 +02:00
2020-10-09 15:25:23 +02:00
2021-01-03 16:15:46 +01:00
2021-02-09 22:38:06 +01:00
2021-02-09 22:38:06 +01:00
2021-01-19 10:35:17 +01:00
2021-02-09 22:38:06 +01:00
2020-10-26 15:40:12 +01:00
2021-02-05 14:55:26 +01:00
2021-02-05 13:12:03 +01:00
2021-02-02 16:46:52 +01:00
2021-01-06 13:56:02 +01:00
2021-02-04 17:07:30 +01:00
2021-01-04 14:31:42 +01:00
2020-10-22 14:21:22 +02:00
2020-10-22 11:20:02 +02:00
2021-02-09 22:38:06 +01:00
2020-08-01 10:07:05 +02:00
2020-12-16 20:04:52 +01:00
2020-12-18 11:01:26 +01:00
2020-12-24 17:48:39 +11:00
2020-09-28 22:59:51 +02:00
2020-12-10 16:53:08 +01:00
2020-12-08 16:41:35 +01:00
2021-02-08 19:00:37 +01:00
2021-02-09 12:55:33 +01:00
2020-10-06 09:49:40 +02:00
2020-10-22 14:54:43 +02:00
2021-01-07 13:48:17 +01:00
2021-01-01 17:41:48 +01:00
2020-11-25 11:47:05 +01:00
2020-09-30 21:07:25 +02:00
2020-09-18 14:28:32 +02:00
2020-09-18 14:28:32 +02:00
2021-02-02 16:43:43 +01:00
2021-02-10 12:00:20 +01:00
2021-01-12 12:08:31 +01:00
2021-01-28 23:25:59 +01:00
2021-01-18 16:47:21 +01:00
2021-01-04 12:13:06 +01:00
2021-02-08 18:43:51 +01:00
2020-10-01 23:08:20 +02:00
2020-10-01 23:09:31 +02:00
2020-10-01 23:09:56 +02:00
2020-11-30 00:29:10 +01:00
2020-12-02 10:19:32 +01:00
2020-11-30 14:08:31 +00:00
2020-10-08 10:28:50 +02:00
2020-10-16 10:56:33 +02:00
2020-10-08 10:28:50 +02:00
2021-02-09 22:38:06 +01:00
2021-01-20 16:20:13 +01:00
2021-01-18 15:47:12 +01:00