Jump to content

Manual:LocalSettingsGenerator.php

From mediawiki.org

Details

[edit]

LocalSettingsGenerator.php is the generator for the LocalSettings.php file.