Very minor bug:
Looking at the LocalSettings.php produced, one notices a few
$bla="fixed strings in double quotes";
whereas you might as well use
$bla='fixed strings in single quotes';
and save a half a cycle.
E.g., $wgDiff3 = "/usr/bin/diff3";
Might as well write
$wgDiff3 = '/usr/bin/diff3';
Same throughout the other files.
Version: 1.9.x
Severity: minor
OS: Linux
Platform: PC