mirror of
https://github.com/php/php-src.git
synced 2026-04-09 17:13:31 +02:00
We backport the fix PHP 7.3, since this branch is affected as well. (cherry picked from commitb5e0043796) (cherry picked from commite36daa6927) (cherry picked from commit2704ee6844)