@mediawiki::extension does not let you set default user options
Closed, DeclinedPublic
Actions

Assigned To

Authored By

	yuvipanda
	Jun 20 2013, 10:34 PM

Description

Useful for extensions such as WikiEditor, to set $wgDefaultUserOptions

Version: unspecified
Severity: normal

• bzimport raised the priority of this task from to Needs Triage.Nov 22 2014, 1:44 AM

• bzimport set Reference to bz49914.

It does; just supply a 'settings' key.

For example,

@mediawiki::extension { 'WikiEditor':
    settings => [
        '$wgDefaultUserOptions['favoritecars-black-jetta'] = 1'
    ],
}

[mass-moving from Tools>MediaWiki-Vagrant to separate product. See bug 54041. Filter bugmail on this comment.]