Avoid deadlocks in User::incEditCount
authorAaron Schulz <aschulz@wikimedia.org>
Mon, 13 Apr 2015 23:02:16 +0000 (16:02 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Tue, 14 Apr 2015 04:59:44 +0000 (04:59 +0000)
commit7eb982b0b4b632a064f1edcc3875b338887c77b7
tree4d5135319bd7bc7651100c179e5f6b85a3c6efc1
parentc8d039482b316ad6602175a3ad66f995d8865a36
Avoid deadlocks in User::incEditCount

* This makes concurrent editing less problematic

Change-Id: I930222d5e831bb3729194abbdcb3cab194c70494
includes/User.php