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)
commit72386982e35d6f7537054c60f23067b415b8cacc
tree16b57f6ca9a19110c2f2cab03fe2352852b38422
parentf4eef832b71012947f42fe24a8cc2e5e4222e061
parent5266e7b8f572764cc90611b5bc061d90e91ef465
Merge pull request #18452 from eileenmcnaughton/user

Move definition of userName to where it is used and remove an unused parameter