* data/php_stdlib/builtins_constants.idl.php: misc