Habs auch eher als Scherz aufgefasst, allerdings auch \, was sich ja als ernst erwiesen hat.

Im Grunde hat PHP den Fehler gemacht sich den Punkt zu nehmen weil sie damit Strings zusammensetzen. Hier hätte das Plus genutzt werden sollen. Nun haben sie das Problem.