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)
commit4c79f03d786bec26c202988e0c31f60b58d58e3e
tree49f292c9f27e581b1ab75839f4779cd3a5802473
parent27e885e6ff8eb63188181489c8f410d6e9cf5043
parent7b9346c08236b0662ae4693970d1990c477b82b9
Merge pull request #22848 from braders/extension-manager-notices

Avoid PHP undefined index notices on extension pages