@phpstan-property

The @phpstan-property tag is PHPStan's vendor-specific spelling of @property, which this component already recognizes bare.

This library recognizes it as an alias: it parses identically to the canonical tag above and produces the exact same tag instance, keeping the vendor-prefixed name it was written with.