Merge pull request #16224 from eileenmcnaughton/set
authorEileen McNaughton <emcnaughton@wikimedia.org>
Tue, 7 Jan 2020 23:02:29 +0000 (12:02 +1300)
committerGitHub <noreply@github.com>
Tue, 7 Jan 2020 23:02:29 +0000 (12:02 +1300)
dev/core#495 Add some ts tags on settings


Trivial merge