mirror of
https://github.com/php/php-src.git
synced 2026-03-24 00:02:20 +01: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)