mirror of
https://github.com/php/php-src.git
synced 2026-04-22 23:48:14 +02:00
73f52dc729
At one point this served a purpose as it contained the cleanup code that now lives in dtor, but now it just calls the standard handler so we can just get rid of it.