Short name in PHPDoc comment

Hi,

would it be possible to add a suggestion in a PHPDoc comment like in the code? A suggestion to use a short name if used in use?

Thanks

TomasNajman thank you for pointing this out!

Implemented in 1.89.18917, thank you!