Page MenuHomePhabricator

Make maintenance/userOptions.php subclass Maintenance
Closed, ResolvedPublic

Description

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

Version: 1.20.x
Severity: normal

Details

Reference
bz34117

Event Timeline

bzimport raised the priority of this task from to Low.Nov 22 2014, 12:15 AM
bzimport set Reference to bz34117.

Tweaking summary to state what really should be done. Pretty trivial and low-priority whenever someone feels motivated.

Patch in Gerrit needs review...

Tgr subscribed.

This was done in rMW6df5d031c450: Rewrite userOptions.php, apparently.