Merge "Update comment about enabled extensions"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 13 Oct 2015 11:39:18 +0000 (11:39 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 13 Oct 2015 11:39:18 +0000 (11:39 +0000)
commit1271bb75c60f98720a24ed1bac13a48f2181fb00
treedb94dfdba3dd69f2da4e65dd1d7f4f2fbc2ed252
parent557c331645173b60171e1cbcc9b921e39de9710b
parent0299ac021020383bb6c868409ce05b3df19d533c
Merge "Update comment about enabled extensions"
includes/installer/LocalSettingsGenerator.php