wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-25 00:38:33 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../modules/dt-ve
History
Ed Sanders 58f6d8ca56 Trigger username sequence even when deleting 
This is helpful when you ping the wrong person and need to correct your input.

Logically depends on I4c34e9368692b0ee4e7ca0f18ba2940406c62a9a

Change-Id: Iea89bdb5d93fe64902b692f04dd3a2e84e5517c3
2020-06-26 17:19:10 +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 Trigger username sequence even when deleting 2020-06-26 17:19:10 +01:00
dt.ui.UsernameCompletionTool.js UsernameCompletionTool: Use 'userAdd' icon 2020-06-24 12:33:33 +01:00