On 3/14/13 12:26 PM, Rasmus Schultz wrote:
$user_type = typeof(User);
I missed this. We'll soon have User::class. This may resolve to, e.g., 'Foo\User'. Steve Clay -- http://www.mrclay.org/ -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php