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

Move username completion tool after special character tool in toolbar

Browse source 
Bug: T322455
Change-Id: I19bfe4500850512411615b326b07ba0a47dcfd5f
This commit is contained in:
Ed Sanders 2022-11-07 13:01:11 +00:00
parent 45790f67e9
commit 317b8244dd
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -79,13 +79,13 @@ if ( OO.ui.isMobile() ) {
name: 'link',
include: [ 'link' ]
},
{
name: 'other',
include: [ 'usernameCompletion' ]
},
{
name: 'specialCharacter',
include: [ 'specialCharacter' ]
},
{
name: 'other',
include: [ 'usernameCompletion' ]
}
];
}