Merge pull request #22848 from braders/extension-manager-notices
authorEileen McNaughton <emcnaughton@wikimedia.org>
Sun, 27 Feb 2022 23:06:41 +0000 (12:06 +1300)
committerGitHub <noreply@github.com>
Sun, 27 Feb 2022 23:06:41 +0000 (12:06 +1300)
Avoid PHP undefined index notices on extension pages


Trivial merge