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