[PHP-DOC] what generates the ini_set() docs?

[Philip Olson]

Hello everyone,

Can someone enlighten me on what generates the ini_set() docs 
these days, and why it's not genPHP_INI_ENTRY.php?

Regards,
Philip