Merge pull request #22740 from colemanw/dev/core#3063
authorEileen McNaughton <emcnaughton@wikimedia.org>
Wed, 16 Feb 2022 21:20:40 +0000 (10:20 +1300)
committerGitHub <noreply@github.com>
Wed, 16 Feb 2022 21:20:40 +0000 (10:20 +1300)
dev/core#3063 APIv3 - Fix numeric option matching


Trivial merge