wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-24 00:13:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

Change 'sourcemodetoolbar' default to enabled (when available)

Browse source 
Bug: T287927
Change-Id: I4c55efee787ab624ecfb499c36e52f5f01f18a5c
This commit is contained in:
Bartosz Dziewoński 2021-08-04 19:32:32 +02:00
parent 1f4706a308
commit 9016f652ff
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -420,7 +420,7 @@
"discussiontools-editmode": "",
"discussiontools-newtopictool": 1,
"discussiontools-replytool": 1,
"discussiontools-sourcemodetoolbar": 0,
"discussiontools-sourcemodetoolbar": 1,
"discussiontools-topicsubscription": 1,
"discussiontools-abtest": ""
},