Merge "Move default logo to resources/assets/ directory"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 21 Sep 2014 05:23:53 +0000 (05:23 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 21 Sep 2014 05:23:53 +0000 (05:23 +0000)
commitfea10ac2b4c032c1ddf33a3d57c50db1525f86ac
tree727a73991cc2e9c91e6b0414e9b202f3ad9e76de
parentbf820fca0ebafaf2caf046fa6cef789f38a88af6
parent96b3dd0ae373a09120b66c9d23fa58d64c7c7698
Merge "Move default logo to resources/assets/ directory"
includes/DefaultSettings.php
includes/installer/Installer.php