mirror of
https://github.com/php/php-src.git
synced 2026-04-22 15:38:49 +02:00
06e78cad83
This reverts commit 17a9f1401a, because
this commit would break ABI, and also due to bug #79013.
We keep the commit for PHP 7.4+, though.