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

UsernameCompletionTool: Use 'userAdd' icon

Browse source 
Depends-On: I6de36ca2ba279dc11d18bdff3c5d138444a13361
Change-Id: Ic09e18bf284b97bb135c3e8b0129fb9bc96cf72f
This commit is contained in:
Ed Sanders 2020-06-24 12:27:56 +01:00
parent a00bc8411a
commit 8ca9da66fd
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/dt-ve/dt.ui.UsernameCompletionTool.js
View file

@ -8,7 +8,7 @@ OO.inheritClass( MWUsernameCompletionTool, ve.ui.Tool );
// Static
MWUsernameCompletionTool.static.commandName = 'insertAndOpenMWUsernameCompletions';
MWUsernameCompletionTool.static.name = 'usernameCompletion';
MWUsernameCompletionTool.static.icon = 'userAvatar'; // TODO: should be 'userAdd';
MWUsernameCompletionTool.static.icon = 'userAdd';
MWUsernameCompletionTool.static.title = OO.ui.deferMsg( 'discussiontools-replywidget-mention-tool-title' );
ve.ui.toolFactory.register( MWUsernameCompletionTool );