This script crashes with the latest HEAD. I don't know if it is something that did work at an earlier time.
<? class ResourceFormat { const IMG = 1; }
class Image
{
const RESOURCE_FORMAT = ResourceFormat::IMG;
}print_r(constant('Image::RESOURCE_FORMAT'));
?>-- Ard
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
