Die Community ist in Aufruhr. Steffan Esser hat auf Grund der Diskussionen um den Namespace-Separator PHP geforkt.
Hintergrund: Vor ein paar Tagen haben die PHP-Entwickler entschieden, statt Doppeldoppelpunkt, den Backslash als Trenner für Namensräume zu verwenden. Dagegen sträubt sich jedoch der eine oder andere. Erinnert angeblich zu stark an Windows-Pfade.
Ich persönlich hätte ebenfalls die Doppelpunkte favorisiert. Nüchtern betrachtet, macht's jedoch keinen Unterschied.
z.B., wenn Namespaces in Strings gespeichert werden.
registerNamespace("lib::net::nntp") ist kein Problem.
registerNamespace("lib\net\nntp") wird nicht funktionieren.
registerNamespace('lib\' . $net . '\nntp');