mirror of
https://github.com/php/php-src.git
synced 2026-04-04 22:52:40 +02:00
This reverts commit edccf32f7f.
This was reported to cause issues for as yet unknown reasons in
bug #78769. As this was intended as code cleanup, revert this from
7.4 at least. May reapply it to master later.