Manual:LocalSettingsGenerator.php

Details
LocalSettingsGenerator.php is the generator for the  file.