As such we have decided to go with “
\” as the new namespace separator [in PHP] instead of the current “::”
I’m sure that makes a lot of sense when the other options you seriously considered include “:)” and “:>”.
[Update: I wrote this before seeing Ovid’s posting about the same matter.]