From 78f72cffa43d525118c3221a37d89fc407c6fbb9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?M=C3=A1t=C3=A9=20Kocsis?= <kocsismate@woohoolabs.com>
Date: Mon, 20 May 2024 21:03:19 +0200
Subject: [PATCH] Add support for generating parameter attributes for the
 manual (#14270)

---
 build/gen_stub.php | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/build/gen_stub.php b/build/gen_stub.php
index 2edc7fc1045..9b1545c0ea2 100755
--- a/build/gen_stub.php
+++ b/build/gen_stub.php
@@ -2101,6 +2101,13 @@ OUPUT_EXAMPLE
                 }
 
                 $methodSynopsis->appendChild($methodparam);
+                foreach ($arg->attributes as $attribute) {
+                    $attribute = $doc->createElement("modifier", "#[\\" . $attribute->class . "]");
+                    $attribute->setAttribute("role", "attribute");
+
+                    $methodparam->appendChild($attribute);
+                }
+
                 $methodparam->appendChild($arg->getMethodSynopsisType()->getTypeForDoc($doc));
 
                 $parameter = $doc->createElement('parameter', $arg->name);