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. I

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.

show more ...

Fix GH-9921: Loading ext in FPM config does not register module handlers

Closes GH-12377

Update INI validator and displayers depending on INI type

Closes GH-9451

Add clean_module_functions() (#8763)

Add clean_module_functions() to clean functions which are registered by zend_register_functions().
The general logic of clean_module_functions() is c

Add clean_module_functions() (#8763)

Add clean_module_functions() to clean functions which are registered by zend_register_functions().
The general logic of clean_module_functions() is consistent with clean_module_classes().

show more ...

Fix unregistering ini entries of dynamically loaded extension (#8435)

Fixes GH-8185