mirror of
https://github.com/php/php-src.git
synced 2026-04-27 10:16:41 +02:00
2dde07af55
This should call zend_object_std_dtor() to clean the property table etc. This also has a semantic influence because previously weak refs were not notified for example. This fixes the final issue in GH-18114 (the crash was master-only and fixed already). Closes GH-18114. Closes GH-18123.