LocalSettingsGenerator: Document $wgDiff3 in the generated LocalSettings.php
authorÆvar Arnfjörð Bjarmason <avar@users.mediawiki.org>
Sun, 4 Jul 2010 22:11:18 +0000 (22:11 +0000)
committerÆvar Arnfjörð Bjarmason <avar@users.mediawiki.org>
Sun, 4 Jul 2010 22:11:18 +0000 (22:11 +0000)
commit5a37b39e385d4987cbe2b369e809f920846df61c
treef2fec87fff716454015a0d4f504b5617f41ffd63
parentdfb76037efa72d0225415eb7e055567e47f47e17
LocalSettingsGenerator: Document $wgDiff3 in the generated LocalSettings.php
includes/installer/LocalSettingsGenerator.php