Merge pull request #18452 from eileenmcnaughton/user
authorEileen McNaughton <emcnaughton@wikimedia.org>
Mon, 14 Sep 2020 00:58:15 +0000 (12:58 +1200)
committerGitHub <noreply@github.com>
Mon, 14 Sep 2020 00:58:15 +0000 (12:58 +1200)
Move definition of userName to where it is used and remove an unused parameter


Trivial merge