mirror of
https://github.com/php/php-src.git
synced 2026-04-28 02:33:17 +02:00
ee610947ce
This reverts commit 76e2a8380e. Cf.
<https://github.com/php/php-src/commit/76e2a8380e5e030412e9d565955d011972af8418#r62560239>.