Merge pull request #23942 from tschuettler/3717-sort-mapping-page
authorEileen McNaughton <emcnaughton@wikimedia.org>
Tue, 5 Jul 2022 20:44:00 +0000 (08:44 +1200)
committerGitHub <noreply@github.com>
Tue, 5 Jul 2022 20:44:00 +0000 (08:44 +1200)
dev/core#3717 - Fix sorting by mapping type


Trivial merge