mirror of
https://github.com/php/php-src.git
synced 2026-03-24 00:02:20 +01:00
This partially reverts commitd8577d9bfb, and reverts parts of07f1cfd9b0. (cherry picked from commit2711864e82)
This partially reverts commitd8577d9bfb, and reverts parts of07f1cfd9b0. (cherry picked from commit2711864e82)