[email protected] wrote: > Michael Daly <[email protected]> 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_LocalSettings.php > 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_solution > 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=252351#Ultimate_minimalist_solution > 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 _______________________________________________ MediaWiki-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-l
