Fix PHP 8.5 $http_response_header deprecation#841

DannyvdSluijs merged 3 commits intomasterjsonrainbow/json-schema:masterfrom

php85jsonrainbow/json-schema:php85Copy head branch name to clipboard