Merge pull request #25266 from braders/phpdoc-fixes3
authorEileen McNaughton <emcnaughton@wikimedia.org>
Mon, 2 Jan 2023 20:07:54 +0000 (09:07 +1300)
committerGitHub <noreply@github.com>
Mon, 2 Jan 2023 20:07:54 +0000 (09:07 +1300)
commit77078799d7268fae936042ee09945f6a6d9ea3af
treed0f4ae7827f7a15269a477f7597f70343520bf77
parentf5a88dd1711fd8f3a5ae2029244925a7449cc606
parent402aa41db75cc89a1bd19430d0023ce2048c941d
Merge pull request #25266 from braders/phpdoc-fixes3

PHPDoc corrections