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.