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