Last modified: 2013-07-25 09:05:06 UTC
It should be possible to define the location of a specific LocalSettings.php Currently it is not. Rationale: to determine a specific wiki in wiki farm installations where to run the userOption setter against. The maintenance/update.php allows such an optional parameter: --conf: Location of LocalSettings.php, if not default
Tweaking summary to state what really should be done. Pretty trivial and low-priority whenever someone feels motivated.
https://gerrit.wikimedia.org/r/48417
Patch in Gerrit needs review...