3 ms·

Here's where the decision was made: Request for Comments: Namespace Separators - https://wiki.php.net/rfc/namespaceseparator https://wiki.php.net/rfc/namespace

Here's where the decision was made: Request for Comments: Namespace Separators - https://wiki.php.net/rfc/namespaceseparator https://wiki.php.net/rfc/namespaceseparator The candidates were: \ ** ^^ %% :> :) ::: The IRC dicussion: https://wiki.php.net/_media/rfc/php.ns.txt https://wiki.php.net/_media/rfc/php.ns.txt (Downloads .TXT file)

readonthegoapp 5y ago
thanks, the IRC record is awesome - wish all the pastebins still worked. i did read that page about the candidates -- it just seemed like the most obvious separator, '/', was not in that list, and it made me wonder.
- bruce343434 5y ago
  It's already division