Installer: Make short header and normal header of WebInstaller equivalent
authorFomafix <fomafix@googlemail.com>
Fri, 14 Jun 2019 09:07:33 +0000 (11:07 +0200)
committerKrinkle <krinklemail@gmail.com>
Mon, 17 Jun 2019 19:21:38 +0000 (19:21 +0000)
commit360f741d390bedc0e63c49b93d4d845e91863355
treee9dae213fea3ec94913bf11f52c2c311c8cb0cb3
parent0f346d682297bd0760f6d5c4184e7ee8acbf85d8
Installer: Make short header and normal header of WebInstaller equivalent

Change-Id: I8ae0cca582c2dab87a4b3b050030f6c96897939e
includes/installer/WebInstallerOutput.php