Tomer Chachamu wrote:
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. :)
None of which explains why copying the defaultsettings.php from the deistribution did not fix the original problem. When I compare the defaultsettings.php form distribution to the one that appears after installation, they are in fact the same. So, while I solved my immediate problem, I have yet to see how that problem occurred or how to avoid it in the future. :-)