Wrong return data type

ging-dev

/**
 * @return 0|string
 */
function return_type($type)
{

}

it should be int|string, but returns void.

non-(negative|positive)-int should be solved as int.

JakubMisek

Thank you;

yes, if it's not colorized as a type name, it's not recognized by the extension, and it's treated as a piece of textual information.

(it should not be green)

I'm wondering if it isn't too much to allow numbers and literals in top-level type names. I've never seen it used like this.

ging-dev

JakubMisek
I recently started wordpress programming and used https://github.com/php-stubs/wordpress-stubs. It uses 0|something, and phptools resolves them it into mixed or void.

JakubMisek

ging-dev I see, thank you. We'll try to recognize these kinds of type names.

FYI, we're also planning to including WordPress stubs with PHP extension ...