In PHP, the documentation says that you can replace previously set headers via the second, boolean, argument to header(). 
I'm wondering: Are HTTP headers case-sensitive or normalized in any way?
If I use:
    header('Content-Type: text/plain');
    header('Content-type: text/html');
... will it send one, or two different headers?
Similarly, if I use:
    header('Content-Type: text/plain');
    header('Content-type: text/html', TRUE);
... will that (properly?) replace the first?
 
    