Merge pull request #25727 from totten/master-token-case
authorEileen McNaughton <emcnaughton@wikimedia.org>
Fri, 3 Mar 2023 19:55:42 +0000 (08:55 +1300)
committerGitHub <noreply@github.com>
Fri, 3 Mar 2023 19:55:42 +0000 (08:55 +1300)
(dev/core#4137) Tokens - Filters should be HTML-sensitive


Trivial merge