Merge "Move user_editcount updates to a mergeable deferred update"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 26 Oct 2018 20:32:24 +0000 (20:32 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 26 Oct 2018 20:32:24 +0000 (20:32 +0000)
commitcb4d4c4d8f4884bfe18b1e69c0d1bc2d8d567d5c
tree31c9178357ce27eaafc941645fb303450768022d
parent8e744f6f482b80a806d43fb4ea2eded4c7fd517f
parent390fce6db1e008c53580cedbdfe18dff3de9c766
Merge "Move user_editcount updates to a mergeable deferred update"
autoload.php
includes/user/User.php