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. :)