wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-12 09:58:17 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../modules/dt-ve
History
Ed Sanders 8ca9da66fd UsernameCompletionTool: Use 'userAdd' icon 
Depends-On: I6de36ca2ba279dc11d18bdff3c5d138444a13361
Change-Id: Ic09e18bf284b97bb135c3e8b0129fb9bc96cf72f
2020-06-24 12:33:33 +01:00
..
CommentTarget.js Move VE components to dt-ve 2020-06-22 20:09:18 +02:00
CommentTargetWidget.js Move VE components to dt-ve 2020-06-22 20:09:18 +02:00
CommentTargetWidget.less Move VE components to dt-ve 2020-06-22 20:09:18 +02:00
dt.ui.UsernameCompletionAction.js Move VE components to dt-ve 2020-06-22 20:09:18 +02:00
dt.ui.UsernameCompletionTool.js UsernameCompletionTool: Use 'userAdd' icon 2020-06-24 12:33:33 +01:00