wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-09-23 18:38:18 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "CommentTargetWidget: Exclude save commands"

Browse source
This commit is contained in:
jenkins-bot 2022-05-19 01:14:11 +00:00 committed by Gerrit Code Review
parent 06d7b329ad 1cc94f91bc
commit e792fa0159
1 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
modules/dt-ve/CommentTargetWidget.js
View file

@ -26,7 +26,14 @@ function CommentTargetWidget( replyWidget, config ) {
'indent',
'outdent',
// Disable preformatted
'preformatted'
'preformatted',
// Save commands get loaded from articletarget module, which we load
// to get the edit switching tool for mobile
'showSave',
'showChanges',
'showPreview',
'saveMinoredit',
'saveWatchthis'
]
}, config );