[Bug 49914] @mediawiki::extension does not let you set default user options
https://bugzilla.wikimedia.org/show_bug.cgi?id=49914 Andre Klapper aklap...@wikimedia.org changed: What|Removed |Added Component|MediaWiki-Vagrant |General Product|Tools |MediaWiki-Vagrant --- Comment #3 from Andre Klapper aklap...@wikimedia.org --- [mass-moving from ToolsMediaWiki-Vagrant to separate product. See bug 54041. Filter bugmail on this comment.] -- You are receiving this mail because: You are on the CC list for the bug. ___ Wikibugs-l mailing list Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
[Bug 49914] @mediawiki::extension does not let you set default user options
https://bugzilla.wikimedia.org/show_bug.cgi?id=49914
Ori Livneh o...@wikimedia.org changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|--- |WORKSFORME
--- Comment #2 from Ori Livneh o...@wikimedia.org ---
For example,
@mediawiki::extension { 'WikiEditor':
settings = [
'$wgDefaultUserOptions['favoritecars-black-jetta'] = 1'
],
}
--
You are receiving this mail because:
You are on the CC list for the bug.
___
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
[Bug 49914] @mediawiki::extension does not let you set default user options
https://bugzilla.wikimedia.org/show_bug.cgi?id=49914 --- Comment #1 from Ori Livneh o...@wikimedia.org --- It does; just supply a 'settings' key. -- You are receiving this mail because: You are on the CC list for the bug. ___ Wikibugs-l mailing list Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
