Not to start a flame war, but...
How about STD, Std, or something similar? It certainly works for... that
language... that has multiple implementations of the standard classes.
It can't hurt to play to people's comfort when the change doesn't really
affect PHP in any major way. :)
But yes, a standard class prefix (to be migrated to a namespace) sounds
more practical than either asking everyone to use prefixes or hoping
that the minimal user base is affected by a conflict.
And getting everyone into a habit of importing standard php classes --
class Date extends PHP_Date {}
-- might help in the future. :D
Ken
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
