### Description One of the [Travis builds](https://app.travis-ci.com/github/php/php-src/jobs/586398946) failed for an unrelated PR after #9766 got merged. ```diff 014+ zend_signal_handler_defer() called in a thread not managed by PHP. The expected signal handler will not be called. This is probably a bug. ``` For file ``FAIL $http_reponse_header (redirect) [ext/standard/tests/http/http_response_header_02.phpt]`` @dunglas any idea what the issue may be? ### PHP Version PHP 8.3.0-dev ### Operating System _No response_