Merge "Make revision deletion acquire file locks to avoid races"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 27 Jul 2016 00:47:03 +0000 (00:47 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 27 Jul 2016 00:47:03 +0000 (00:47 +0000)
commitd4f1e00a0c240a3b725127dcb2779f377a6772dd
tree566cee9285a9f9797a95248f973c95614eb3da5f
parentce2b0bf5a63c5229b3f8f4411754ab9c73906af4
parentd217cdf4b5403e092b3320d8ccffc415db784c77
Merge "Make revision deletion acquire file locks to avoid races"
includes/filerepo/file/LocalFile.php
includes/revisiondelete/RevDelList.php