https://github.com/php/php-src/commit/16023f3e3b9c06cf677c3c980e8d574e4c162827 is the relevant patch.
https:/ /github. com/php/ php-src/ commit/ 16023f3e3b9c06c f677c3c980e8d57 4e4c162827 is the relevant patch.