Merge "WikiPage: Avoid $user variable reuse in doDeleteArticleReal()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 28 Feb 2018 14:16:29 +0000 (14:16 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 28 Feb 2018 14:16:30 +0000 (14:16 +0000)
commitc9e13ac9f8a6a47faddeab957649a654d626db8b
tree3c3d9ee6a681fd8c01e981213594b3323505c186
parent0ded00ab4c6dc1ad4e961412d357080a0a5a056d
parenta21ae2edac758807a2c466be2f5016d87fb526ef
Merge "WikiPage: Avoid $user variable reuse in doDeleteArticleReal()"