jidanni@jidanni.org wrote:
Michael Daly michael.daly@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_LocalSet... 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_solutio... 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=2523... 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