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
..
tests
config.m4
config.w32
dl_test_arginfo.h
dl_test.c	Use php_info_print_table_header for actual column headers only (#9485)	2022-09-06 08:48:22 +02:00
dl_test.stub.php
php_dl_test.h