Merge "Pass user to WikiPage::doDeleteArticleReal"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 1 Jul 2015 15:13:22 +0000 (15:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 1 Jul 2015 15:13:22 +0000 (15:13 +0000)
commitcbe6abfd239a451a5500b0affe1abbbd73d03d64
tree0f9c84bf29be547c53cefbb6e3ddf8aa9386afa9
parent4fe6cba775718ef4bf7c762588939a12e5b2f98c
parentf9814f6773e39adf12ec1d99adc6d689a0ef1547
Merge "Pass user to WikiPage::doDeleteArticleReal"