mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-27 17:51:09 +00:00
Make sourcemodetoolbar preference available
Change-Id: Icc8e254453ee2b2d74e4890744ec7f4512197627
This commit is contained in:
parent
addf8ce9a9
commit
18cbae137f
|
@ -408,7 +408,7 @@
|
|||
"description": "Override availability of DiscussionTools new topic tool. 'default', 'available', or 'unavailable'."
|
||||
},
|
||||
"DiscussionTools_sourcemodetoolbar": {
|
||||
"value": "unavailable",
|
||||
"value": "default",
|
||||
"description": "Enable the toolbar in source mode for the reply tool and new topic tool. 'default', 'available', or 'unavailable'."
|
||||
},
|
||||
"DiscussionToolsUseParserCache": {
|
||||
|
|
Loading…
Reference in a new issue