mirror of
https://github.com/php/php-src.git
synced 2026-03-24 08:12:21 +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)