I'm glad to hear it worked.
The reason (I know of) that DefaultSettings.php should not be edited
is that your changes will disappear when upgrading your wiki.
As I said in my original message, COPY the relevant block of settings
from DefaultSettings.php into LocalSettings.php, and edit them there.
:)