Cliinstaller.php docs: Note config-install-extensions is used too
authorJames D. Forrester <jforrester@wikimedia.org>
Mon, 14 Apr 2014 20:46:09 +0000 (13:46 -0700)
committerJames D. Forrester <jforrester@wikimedia.org>
Mon, 14 Apr 2014 20:46:47 +0000 (13:46 -0700)
commit286a63360e408e10fa03f6f9c01ec1c033e98760
tree51f5a4bd2eed60d713e0a3a24a918b196bed6eae
parent3775f939a79a8bad9ef28541550aff005a893dcb
Cliinstaller.php docs: Note config-install-extensions is used too

Change-Id: I996c59e32de931d9d58e89ef09ad1dd0fe5199ae
includes/installer/CliInstaller.php