Merge "Show a tip at the end of the installer to prompt about extensions"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 1 May 2013 20:29:39 +0000 (20:29 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 1 May 2013 20:29:39 +0000 (20:29 +0000)
commit4773a19ecba9e892fe9508af477b1d66ba69f428
tree1b271bdc22508978ca377e4f04ae28188eff94eb
parent84ccbeb1ec81fbdd3316c3dc2f13eae9aeff602c
parent559639c68c96589f12f3bcc04be7f261851b4f5a
Merge "Show a tip at the end of the installer to prompt about extensions"
includes/installer/Installer.i18n.php
includes/installer/WebInstallerPage.php