Translations:Manual:LocalSettings.php/12/en

In MediaWiki 1.16 and earlier it was important to not place extensions before the $code line; that will blank the extension setup function arrays, causing no extensions to be installed, and probably making your wiki inaccessible. Since 1.17 it's no longer necessary for  to include DefaultSettings.php.