On Thu, 9 Jul 2020, Rowan Tommins wrote: > And yet we have repeatedly had discussions about whether this or that > feature should or shouldn't be prefixed with a namespace. If you think > the correct answer to "when should we use the PHP\ prefix?" is > "never", I urge you to put forward an RFC making that the policy.
That is already the policy: https://www.php.net/manual/en/userlandnaming.rules.php Specifically "PHP owns the top-level namespace but tries to find decent descriptive names and avoid any obvious clashes" cheers, Derick -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
