Thread:Project:Support desk/Logical problems with: $wgLogo & DefaultSettings.php/reply (3)

Yes, that redirects to Manual:LocalSettings.php. The first sentence of the article explains the purpose of both files.