jidanni(a)jidanni.org wrote:
Michael Daly <michael.daly(a)kayakwiki.org>
writes:
why not just eliminate it altogether and put both
sets of ID info into
LocalSettings.php without saying they have to be the same?
Yes, that's what
http://www.mediawiki.org/wiki/Manual:AdminSettings.php#Merging_with_LocalSe…
says.
No, it says it they are the same, then the two can be merged:
<quote>
If the separate user is not needed, you can just put the
AdminSettings.php content into LocalSettings.php,
</quote>
You can merge them without the two being the same:
$wgDBadminuser = 'someuser';
$wgDBadminpassword = 'somepsw';
$wgDBuser = 'nurdsome';
$wgDBpassword = 'tweedowitz';
You've
removed a generic example and replaced it with one that
contains a bunch of hardcoded stuff that is specific to your wiki (it
would appear) with no explanations. That isn't going to help anyone.
OK, in
http://www.mediawiki.org/wiki/Manual:Wiki_family#Ultimate_minimalist_soluti…
I added: There is no generic example possible. Detecting what wiki the
current web request or maintenance script is for all depends on how you
have your filesystem configured. We can only give real life examples...
Take lessons on how to write documentation. Lots of people can do it.
Even my previous version
http://www.mediawiki.org/w/index.php?title=Manual:Wiki_family&oldid=252…
would backfire if one does
$ cd ~/aaa/maintenance; php ~/bbb/maintenance/bla.php
Only because you neglected to update that part of the page.
Mike