From 93028068916988fe60bfd7cbff15aa671ecdd5a2 Mon Sep 17 00:00:00 2001 From: peaklabs-dev <122374094+peaklabs-dev@users.noreply.github.com> Date: Tue, 24 Feb 2026 17:49:58 +0100 Subject: [PATCH] fix(tooling): do not replace property-read with property --- pint.json | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/pint.json b/pint.json index fc0b44711..44a98dda2 100644 --- a/pint.json +++ b/pint.json @@ -155,7 +155,12 @@ }, "phpdoc_annotation_without_dot": true, "phpdoc_line_span": true, - "phpdoc_no_alias_tag": true, + "phpdoc_no_alias_tag": { + "replacements": { + "type": "var", + "link": "see" + } + }, "phpdoc_no_empty_return": true, "phpdoc_return_self_reference": true, "phpdoc_scalar": true,