Merge "Allow MediaWikiTestCase::insertPage to use given User"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 29 Jun 2018 22:38:45 +0000 (22:38 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 29 Jun 2018 22:38:45 +0000 (22:38 +0000)
commit17ce335f02ffc03f95e1e4bfc8daf32dbfda848b
tree45b9476bfc0bc27eaeaa3d61c0016bbc4170ecd7
parentb1a211c53923c96a2fa1735bd9cc6a9f5e7f07a4
parent72566c80b1c0601341c63a00d470368601d65df5
Merge "Allow MediaWikiTestCase::insertPage to use given User"