Last modified: 2011-03-13 18:06:12 UTC
Gentlemen, I notice in the generated LocalSettings.php, tons of settings are the same as in DefaultSettings.php. Therefore I recommend you trim some of the accumulated fat out of LocalSettings.php, by of course adjusting config/index.php. Certainly not every $wgXYZ=false etc. line needs to be repeated. Take e.g., the diff3 setting, visible in DefaultSettings.php, no need to mention it again in LocalSettings.php.
This has been discussed before, they are the most commonly changed settings and it therefore makes sense for them to appear there.
diff3 in particular has to go into LocalSettings because it's auto-generated.