Merge pull request #22454 from braders/phpdoc-types
authorEileen McNaughton <emcnaughton@wikimedia.org>
Mon, 10 Jan 2022 21:14:47 +0000 (10:14 +1300)
committerGitHub <noreply@github.com>
Mon, 10 Jan 2022 21:14:47 +0000 (10:14 +1300)
A whole bunch of phpdoc fixes


Trivial merge