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.]