Tim Düsterhus
03fd405423
Use php_info_print_table_header for actual column headers only ( #9485 )
...
Using php_info_print_table_header() for "Foo: bar" looks odd and out of place,
because the whole line is colored. It is also questionable from a HTML
semantics point of view, because it does not described the columns that follow.
The use of this across extensions is inconsistent. It was part of the skeleton,
but ext/date or ext/json already use a regular row.
2022-09-06 08:48:22 +02:00
..
2022-08-30 09:19:45 -04:00
2021-06-18 15:22:52 +01:00
2021-06-18 15:22:52 +01:00
2022-07-21 15:05:34 +02:00
2022-09-06 08:48:22 +02:00
2021-05-26 09:36:23 +02:00
2022-07-21 15:05:34 +02:00
2022-08-02 16:37:12 +02:00
2022-08-31 16:45:27 +02:00
2022-08-02 16:37:12 +02:00
2022-08-02 16:37:12 +02:00
2022-08-02 16:37:12 +02:00
2022-08-31 16:45:27 +02:00
2022-08-02 16:37:12 +02:00
2022-08-02 16:37:12 +02:00
2022-08-02 16:37:12 +02:00
2022-08-31 16:45:27 +02:00
2022-08-02 16:37:12 +02:00
2022-08-02 16:37:12 +02:00
2021-06-18 15:22:52 +01:00
2021-02-18 13:01:51 +01:00
2021-05-06 12:16:35 +02:00
2021-05-06 12:16:35 +02:00
2021-02-18 13:01:51 +01:00
2022-08-30 07:46:32 -04:00
2022-08-31 16:45:27 +02:00
2021-05-06 12:16:35 +02:00
2022-08-30 07:46:32 -04:00
2022-04-13 20:34:23 +01:00
2022-08-02 16:37:12 +02:00
2022-08-02 16:37:12 +02:00
2022-08-31 16:45:27 +02:00
2022-08-02 16:37:12 +02:00
2022-08-02 16:37:12 +02:00
2022-08-02 16:37:12 +02:00
2022-08-31 16:45:27 +02:00
2022-08-02 16:37:12 +02:00
2022-08-02 16:37:12 +02:00
2022-08-02 16:37:12 +02:00
2022-08-31 16:45:27 +02:00
2022-08-02 16:37:12 +02:00
2022-08-02 16:37:12 +02:00