1--TEST--
2Bug #81518 (Header injection via default_mimetype / default_charset)
3--CGI--
4--FILE--
5<?php
6ini_set('default_charset', 'ISO-8859-1' . "\r\nHeader-Injection: Works!");
7header('Content-Type: text/html');
8?>
9--EXPECTHEADERS--
10Content-type: text/html;charset=UTF-8
11--EXPECT--
12