[php] PHP 5: Klassennamen nicht case sensitive?

[Hannes H.]

Guten Abend!

Ich habe gerade - zu meiner großen Verwunderung - beobachtet, dass in
PHP 5 die Klassennamen offenbar nicht case sensitive sind.

Ist das auf irgend eine lokale Einstellug von mir zurück zu führen
oder ist das generell so? Wenn ja: Gibt es dafür auch einen (guten)
Grund?

Liebe Grüße,
Hannes Halenka - der grad sehr verwundert ist ...