Merge pull request #26035 from braders/phpdoc-fixes-5
authordemeritcowboy <demeritcowboy@hotmail.com>
Mon, 10 Apr 2023 11:49:25 +0000 (07:49 -0400)
committerGitHub <noreply@github.com>
Mon, 10 Apr 2023 11:49:25 +0000 (07:49 -0400)
(NFC) PHPdoc fixes and improvements


Trivial merge