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