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)
commitc94963f7637912571ce62b33de60f7d5ce640f69
tree14ab6e2121bdca8c6ddfb0d0e4d2a8d4e94bb082
parentb878c8a8b032162db81e538d03f271460b712808
parente0f5b841e8c617f1f25446f94c4fe73c51fcc0f5
Merge pull request #22454 from braders/phpdoc-types

A whole bunch of phpdoc fixes