Merge "Allow MediaWikiTestCase::editPage to use given User"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 11 Jun 2019 00:28:34 +0000 (00:28 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 11 Jun 2019 00:28:34 +0000 (00:28 +0000)
commit60caf0fc0f6368038b4ecef9dee099a047642623
treed9a2a364df1d83eae486df5adfc228fff5f42b75
parente24002f7075820f1656ad8e5d04c547dd97ecf30
parentd2f782b22201c2a6b5bc8ba8b3223895cce1e88a
Merge "Allow MediaWikiTestCase::editPage to use given User"