mirror of
https://github.com/php/php-src.git
synced 2026-03-24 08:12:21 +01:00
* pull-request/1312: get_defined_functions extra parameter to exclude disabled functions news entry for PR #1312
* pull-request/1312: get_defined_functions extra parameter to exclude disabled functions news entry for PR #1312