* data/php_stdlib/constants.php: traits