Merge "Cliinstaller.php docs: Note config-install-extensions is used too"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 14 Apr 2014 21:00:21 +0000 (21:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 14 Apr 2014 21:00:21 +0000 (21:00 +0000)
commita34555a39d328e74feaf31f40dbb9122081a6c7d
tree4c600635ea04a051e74a523f0a6a8d75dd0c9522
parent8f66daf5a83935ddc2cd10d49911182099390dbd
parent286a63360e408e10fa03f6f9c01ec1c033e98760
Merge "Cliinstaller.php docs: Note config-install-extensions is used too"