Merge "Fix unexpected return type of User::idFromName()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 3 Dec 2018 18:18:54 +0000 (18:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 3 Dec 2018 18:18:54 +0000 (18:18 +0000)
commit954327b642fcf869aab7fa75dd58a82935f9d2e1
tree477f7db8dee0457a9384317a641060f66279877a
parent6114e23890a83793614613c879835db7b7885321
parenta50014d259ff9f045ed4ae2ae56ed9e211b85ba1
Merge "Fix unexpected return type of User::idFromName()"
includes/user/User.php