Merge pull request #26261 from samuelsov/adminui2
authorEileen McNaughton <emcnaughton@wikimedia.org>
Sat, 20 May 2023 00:38:26 +0000 (12:38 +1200)
committerGitHub <noreply@github.com>
Sat, 20 May 2023 00:38:26 +0000 (12:38 +1200)
Alternate Manage groups in Admin UI extension


Trivial merge