Merge "Migrate BagOStuff::incr() calls to incrWithInit()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 25 Aug 2019 15:11:49 +0000 (15:11 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 25 Aug 2019 15:11:49 +0000 (15:11 +0000)
commit3e49b37b689a58d9eb475eb0a4ae2d2aa8f5300a
treebfdca2fbcdf32bb70a67ae081a0b3afece44ee04
parent358348d9bf90f0f1bacb64e5348936e7813108c3
parent1879bf796a572ab07a397e91749978ea955eb177
Merge "Migrate BagOStuff::incr() calls to incrWithInit()"
includes/user/User.php