https://bugzilla.wikimedia.org/show_bug.cgi?id=49914
Web browser: ---
Bug ID: 49914
Summary: @mediawiki::extension does not let you set default
user options
Product: Tools
Version: unspecified
Hardware: All
OS: All
Status: NEW
Severity: normal
Priority: Unprioritized
Component: MediaWiki-Vagrant
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected]
Classification: Unclassified
Mobile Platform: ---
Useful for extensions such as WikiEditor, to set $wgDefaultUserOptions
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
