Fix documentation tag links

Author: SerafimArts

Writerside/topics/phpdoc/phan-tags.md

@@ -17,23 +17,35 @@ one Phan should trust.
 
 ## What This Group Covers
 
-* **Assertions** — `@phan-assert`, `@phan-assert-true-condition`,
-  `@phan-assert-false-condition`, `@phan-assert-if-true`,
-  `@phan-assert-if-false`.
-* **Line-scoped suppression** — `@phan-suppress-current-line`,
-  `@phan-suppress-next-line`, `@phan-suppress-next-next-line`,
-  `@phan-suppress-previous-line`, and the file-wide `@phan-file-suppress`.
-* **Return types** — `@phan-real-return`, `@phan-hardcode-return-type`,
+* **Assertions** — [@phan-assert](phan-assert-tag.md),
+  [@phan-assert-true-condition](phan-assert-true-condition-tag.md),
+  [@phan-assert-false-condition](phan-assert-false-condition-tag.md),
+  [@phan-assert-if-true](phan-assert-if-true-tag.md),
+  [@phan-assert-if-false](phan-assert-if-false-tag.md).
+* **Line-scoped suppression** —
+  [@phan-suppress-current-line](phan-suppress-current-line-tag.md),
+  [@phan-suppress-next-line](phan-suppress-next-line-tag.md),
+  [@phan-suppress-next-next-line](phan-suppress-next-next-line-tag.md),
+  [@phan-suppress-previous-line](phan-suppress-previous-line-tag.md), and the
+  file-wide [@phan-file-suppress](phan-file-suppress-tag.md).
+* **Return types** — [@phan-real-return](phan-real-return-tag.md),
+  [@phan-hardcode-return-type](phan-hardcode-return-type-tag.md),
   distinguishing the type Phan should infer from the one it should report.
-* **Magic-member policy** — `@phan-forbid-undeclared-magic-methods`,
-  `@phan-forbid-undeclared-magic-properties`,
-  `@phan-read-only`, `@phan-write-only`.
-* **Purity and immutability** — `@phan-pure`, `@phan-side-effect-free`,
-  `@phan-immutable`, `@phan-constructor-used-for-side-effects`.
-* **Prefixed overrides** — `@phan-var`, `@phan-param`, `@phan-return`,
-  `@phan-property`, `@phan-method`, `@phan-template`, `@phan-mixin`,
-  `@phan-extends`, and the rest, each shadowing its unprefixed counterpart
-  for Phan specifically.
+* **Magic-member policy** —
+  [@phan-forbid-undeclared-magic-methods](phan-forbid-undeclared-magic-methods-tag.md),
+  [@phan-forbid-undeclared-magic-properties](phan-forbid-undeclared-magic-properties-tag.md),
+  [@phan-read-only](phan-read-only-tag.md),
+  [@phan-write-only](phan-write-only-tag.md).
+* **Purity and immutability** — [@phan-pure](phan-pure-tag.md),
+  [@phan-side-effect-free](phan-side-effect-free-tag.md),
+  [@phan-immutable](phan-immutable-tag.md),
+  [@phan-constructor-used-for-side-effects](phan-constructor-used-for-side-effects-tag.md).
+* **Prefixed overrides** — [@phan-var](phan-var-tag.md),
+  [@phan-param](phan-param-tag.md), [@phan-return](phan-return-tag.md),
+  [@phan-property](phan-property-tag.md),
+  [@phan-method](phan-method-tag.md), [@phan-template](phan-template-tag.md),
+  [@phan-mixin](phan-mixin-tag.md), [@phan-extends](phan-extends-tag.md), and
+  the rest, each shadowing its unprefixed counterpart for Phan specifically.
 
 <note>
 Nearly every tag in this group is recognized once the <b>Phan</b> platform is

Writerside/topics/phpdoc/phpstan-tags.md

@@ -19,18 +19,30 @@ disagree.
 
 ## What This Group Covers
 
-* **Assertions** — `@phpstan-assert`, `@phpstan-assert-if-true`,
-  `@phpstan-assert-if-false`.
+* **Assertions** — [@phpstan-assert](phpstan-assert-tag.md),
+  [@phpstan-assert-if-true](phpstan-assert-if-true-tag.md),
+  [@phpstan-assert-if-false](phpstan-assert-if-false-tag.md).
 * **Diagnostic suppression** — the `@phpstan-ignore` family
-  (`@phpstan-ignore`, `@phpstan-ignore-line`, `@phpstan-ignore-next-line`).
-* **Purity and immutability** — `@phpstan-pure`, `@phpstan-impure`,
-  `@phpstan-immutable`, `@phpstan-readonly`,
-  `@phpstan-pure-unless-callable-is-impure`.
-* **Type aliases and generics** — `@phpstan-type`, `@phpstan-import-type`,
-  `@phpstan-template` (with its covariant and contravariant forms).
-* **Prefixed overrides** — `@phpstan-param`, `@phpstan-return`,
-  `@phpstan-var`, `@phpstan-property`, `@phpstan-method`,
-  `@phpstan-param-out`, `@phpstan-self-out`, and the rest, each shadowing
+  ([@phpstan-ignore](phpstan-ignore-tag.md),
+  [@phpstan-ignore-line](phpstan-ignore-line-tag.md),
+  [@phpstan-ignore-next-line](phpstan-ignore-next-line-tag.md)).
+* **Purity and immutability** — [@phpstan-pure](phpstan-pure-tag.md),
+  [@phpstan-impure](phpstan-impure-tag.md),
+  [@phpstan-immutable](phpstan-immutable-tag.md),
+  [@phpstan-readonly](phpstan-readonly-tag.md),
+  [@phpstan-pure-unless-callable-is-impure](phpstan-pure-unless-callable-is-impure-tag.md).
+* **Type aliases and generics** — [@phpstan-type](phpstan-type-tag.md),
+  [@phpstan-import-type](phpstan-import-type-tag.md),
+  [@phpstan-template](phpstan-template-tag.md) (with its
+  [covariant](phpstan-template-covariant-tag.md) and
+  [contravariant](phpstan-template-contravariant-tag.md) forms).
+* **Prefixed overrides** — [@phpstan-param](phpstan-param-tag.md),
+  [@phpstan-return](phpstan-return-tag.md),
+  [@phpstan-var](phpstan-var-tag.md),
+  [@phpstan-property](phpstan-property-tag.md),
+  [@phpstan-method](phpstan-method-tag.md),
+  [@phpstan-param-out](phpstan-param-out-tag.md),
+  [@phpstan-self-out](phpstan-self-out-tag.md), and the rest, each shadowing
   its unprefixed counterpart for PHPStan specifically.
 
 <note>

Writerside/topics/phpdoc/psalm-tags.md

@@ -21,17 +21,29 @@ Psalm is the analyzer reading it."
 
 The tags here span Psalm's full feature surface, including:
 
-* **Assertions** — `@psalm-assert`, `@psalm-assert-if-true`,
-  `@psalm-assert-if-false`, `@psalm-assert-untainted`.
-* **Immutability and purity** — `@psalm-immutable`, `@psalm-pure`,
-  `@psalm-mutation-free`, `@psalm-external-mutation-free`,
-  `@psalm-readonly`.
-* **Taint analysis** — `@psalm-taint-source`, `@psalm-taint-sink`,
-  `@psalm-taint-escape`, `@psalm-taint-specialize`, and related flow tags.
-* **Type aliases and generics** — `@psalm-type`, `@psalm-import-type`,
-  `@psalm-template` (with its covariant and contravariant forms).
-* **Prefixed overrides** — `@psalm-param`, `@psalm-return`, `@psalm-var`,
-  `@psalm-property`, `@psalm-method`, and the rest, each shadowing its
+* **Assertions** — [@psalm-assert](psalm-assert-tag.md),
+  [@psalm-assert-if-true](psalm-assert-if-true-tag.md),
+  [@psalm-assert-if-false](psalm-assert-if-false-tag.md),
+  [@psalm-assert-untainted](psalm-assert-untainted-tag.md).
+* **Immutability and purity** — [@psalm-immutable](psalm-immutable-tag.md),
+  [@psalm-pure](psalm-pure-tag.md),
+  [@psalm-mutation-free](psalm-mutation-free-tag.md),
+  [@psalm-external-mutation-free](psalm-external-mutation-free-tag.md),
+  [@psalm-readonly](psalm-readonly-tag.md).
+* **Taint analysis** — [@psalm-taint-source](psalm-taint-source-tag.md),
+  [@psalm-taint-sink](psalm-taint-sink-tag.md),
+  [@psalm-taint-escape](psalm-taint-escape-tag.md),
+  [@psalm-taint-specialize](psalm-taint-specialize-tag.md), and related
+  [flow tags](psalm-flow-tag.md).
+* **Type aliases and generics** — [@psalm-type](psalm-type-tag.md),
+  [@psalm-import-type](psalm-import-type-tag.md),
+  [@psalm-template](psalm-template-tag.md) (with its
+  [covariant](psalm-template-covariant-tag.md) and
+  [contravariant](psalm-template-contravariant-tag.md) forms).
+* **Prefixed overrides** — [@psalm-param](psalm-param-tag.md),
+  [@psalm-return](psalm-return-tag.md), [@psalm-var](psalm-var-tag.md),
+  [@psalm-property](psalm-property-tag.md),
+  [@psalm-method](psalm-method-tag.md), and the rest, each shadowing its
   unprefixed counterpart for Psalm specifically.
 
 <note>