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

Add missing 'undo' button on mobile

Browse source 
Bug: T308033
Change-Id: If3126cb213fb4a22a419b9b85fdca32b20863f03
This commit is contained in:
Ed Sanders 2022-05-11 17:37:08 +01:00
parent 7fd82831d4
commit b76cf89b9b
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
modules/dt-ve/CommentTarget.js
View file

@ -33,6 +33,10 @@ CommentTarget.static.modes = [ 'visual', 'source' ];
if ( OO.ui.isMobile() ) {
// Mobile currently expects one tool per group
CommentTarget.static.toolbarGroups = [
{
name: 'history',
include: [ 'undo' ]
},
{
name: 'style',
classes: [ 've-test-toolbar-style' ],