mirror of
https://github.com/php/php-src.git
synced 2026-03-24 16:22:37 +01:00
Cf. <https://github.com/php/php-src/pull/10220#issuecomment-1383739816>. This reverts commitecc880f491. This reverts commit588a07f737. This reverts commitf377e15751. This reverts commitb4ba16fe18. This reverts commit694ec1deea. This reverts commit6b34de8eba. This reverts commitaa1cd02a43. This reverts commit308fd311ea. This reverts commit16203b53e1. This reverts commit738fb5ca54. This reverts commit9fdbefacd3. This reverts commitcd4a7c1d90. This reverts commit928685eba2. This reverts commit01e5ffc85c.