Merge "Installer: Make short header and normal header of WebInstaller equivalent"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 17 Jun 2019 19:39:03 +0000 (19:39 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 17 Jun 2019 19:39:03 +0000 (19:39 +0000)
commitcaeaed1019b9f7934fb7dcd03fc4cf0b2f189581
tree70cf629c23fabccb252df55b95654625b0eff977
parent874cf5f355f11148a99846a5cf7feee52d99cdb4
parent360f741d390bedc0e63c49b93d4d845e91863355
Merge "Installer: Make short header and normal header of WebInstaller equivalent"