Merge "Fix phpdoc for type hint for User::makeUpdateConditions()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 8 Apr 2019 04:51:21 +0000 (04:51 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 8 Apr 2019 04:51:21 +0000 (04:51 +0000)
commitb7205b7df341396b7e7993449fa72662d79390e5
treee5c321305d8e668543755e19cfc0cfc8489c127d
parent9d9ab38b39b2ee13d48139a5e55ad9855c92426a
parent59bac70c9b888ca1c12eed735bf838138fd62ad7
Merge "Fix phpdoc for type hint for User::makeUpdateConditions()"