mirror of
https://github.com/php/php-src.git
synced 2026-03-25 00:32:23 +01: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.