mirror of
https://github.com/php/php-src.git
synced 2026-04-24 16:38:25 +02:00
64d511ef29
The properties are virtual so we need a custom get_property_ptr_ptr handler. Closes GH-18637.