Merge "Tidy and rename WebInstallerOutput::addWikiText() to addWikiTextInterface()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 25 Sep 2018 19:42:28 +0000 (19:42 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 25 Sep 2018 19:42:28 +0000 (19:42 +0000)
commitbf2da61424ec9d34bf7319c1d1597e41c8f7b6c5
treef6e3c2e5c2e881f1ffcfd38f20e9fe9568078682
parent0cc987680fbac3eebcd89440f87f0a27a7dc7d74
parent1c10bfb034e1fd028b7d821011cd95f2441e5a0e
Merge "Tidy and rename WebInstallerOutput::addWikiText() to addWikiTextInterface()"