Merge "Reduce page deletion lock contention"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 2 Jun 2015 13:20:27 +0000 (13:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 2 Jun 2015 13:20:27 +0000 (13:20 +0000)
commit9127d9ea9d2183a68699d46ffa088fd2c52c6431
tree3ea89d347133d0fe2b54ad6f2252cdbb55a4ef30
parentf21537f8f2c23cd432313b847b39f86592896422
parent7b59841f43b94a523a7bcf5c2e1bbc90e6168e7f
Merge "Reduce page deletion lock contention"
includes/page/WikiPage.php