Merge pull request #14441 from colemanw/sortable
authorEileen McNaughton <emcnaughton@wikimedia.org>
Thu, 6 Jun 2019 04:15:38 +0000 (16:15 +1200)
committerGitHub <noreply@github.com>
Thu, 6 Jun 2019 04:15:38 +0000 (16:15 +1200)
dev/core#628 - Make Quicksearch options sortable


Trivial merge