Merge "Special:NewFiles: Use a proper user widget instead"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 28 Aug 2019 20:57:14 +0000 (20:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 28 Aug 2019 20:57:14 +0000 (20:57 +0000)
commit58a389e34e9c239ee50c6e65ff6055cdda3f41b4
tree9f30618a55b45f48d830ef93f125c1d607c37983
parent314483f3ed329fae08825cda490bc81d4240e8dc
parent611b21a118fc5c5565b199189cec88f56ea3e36c
Merge "Special:NewFiles: Use a proper user widget instead"