Merge "Move callers away from Title::GAID_FOR_UPDATE"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 10 Sep 2019 03:32:37 +0000 (03:32 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 10 Sep 2019 03:32:37 +0000 (03:32 +0000)
commit6b89d180d9199b5703049eb9b5cc10a51e3e3045
tree8baa3bd233d282b2a4e972e31f2fd2d7cd8d2cb6
parentdd71a77512db0b0e9a75724d34ee6878d806b8e9
parenta5c7fd0db2d962834127ec2362d0dfe8ef6852d5
Merge "Move callers away from Title::GAID_FOR_UPDATE"
includes/user/User.php