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)
1  2 
includes/installer/Installer.i18n.php
includes/installer/WebInstallerPage.php

Simple merge