Edit report at https://bugs.php.net/bug.php?id=53358&edit=1
ID: 53358 Updated by: m...@php.net Reported by: pophal at tubit dot tu-berlin dot de Summary: API queries in php.ini -Status: Closed +Status: Re-Opened Type: Feature/Change Request Package: PHP options/info functions PHP Version: * Assigned To: mike Block user comment: N Private report: N New Comment: Sorry, there actually is a PR for that: See bug #65681 and PR #466 https://bugs.php.net/bug.php?id=53358&edit=1