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
mediawiki-extensions-Discus.../modules/dt-ve
History
jenkins-bot dc07a5c2b1 Merge "Fire window-open-from-tool event for username completion from toolbar"
2020-06-25 20:29:18 +00: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 Fire window-open-from-tool event for username completion from toolbar 2020-06-23 10:25:03 -05:00
dt.ui.UsernameCompletionTool.js UsernameCompletionTool: Use 'userAdd' icon 2020-06-24 12:33:33 +01:00