Jump to a line number from @see doesn't work

[pavlo-tk]

Describe the bug
When you reference a file and a line number using @see, Ctrl + Click on the reference doesn't open the referenced file and results in an error originating from VS Code, for example: "Unable to open cart.php:191".

To Reproduce

    /**
     * Comment.
     * @see public/wp-content/plugins/woocommerce/templates/cart/cart.php:191
     */
    function showOnlyCheckoutButtonInCart(): void
    {
        //
    }

Expected behavior
Ctrl + Click should jump you to the referenced file and put the cursor at the referenced line number. Using VS Code's Ctrl + P interface to find files and pasting the same reference (public/wp-content/plugins/woocommerce/templates/cart/cart.php:191) successfully finds the file and the line in it, so the functionality is there.

Platform and version
Ubuntu, VS Code v1.108.0, PHP Intelephense v1.16.3

[bmewburn]

Does #191 instead of :191 work?

[pavlo-tk]

Hi @bmewburn, yes, # works.

I've never seen it used for a line number though!
I think : is the convention. VS Code is also offering using only :, however # still works from Ctrl + P interface.

[bmewburn]

It's expected that @see is followed by an FQSEN or URI and # is the accepted way to add a URI fragment.

https://github.com/php-fig/fig-standards/blob/master/proposed/phpdoc-tags.md#513-see

[pavlo-tk]

Interesting, so apparently I'm at the wrong here?

Despite the fact that all editors suggest using : to reference a line number in a file, it's related only to the editor's interface and it's not a valid syntax for PHPDoc, correct? Does it mean that the option of using a colon in comments in PHPStorm is just a convenience feature?

If the answer is "yes" to all, I need to get used to # and change the way I reference lines in PHPDoc blocks.