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,