$http_response_header is deprecated in PHP 8.5 #173
Description
Bug report
$http_response_header is deprecated in PHP 8.5.0. PHPStan doesn't report this deprecation.
Code snippet that reproduces the problem
https://phpstan.org/r/8da77505-4474-4aa5-99d9-e29c4776acc5
Expected output
Deprecation should be reported.
Did PHPStan help you today? Did it make you happy in any way?
It did catch other deprecations when switching from PHP 8.4 to 8.5.