wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-17 05:10:50 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../modules/dt-ve
History
jenkins-bot 6dcbaca9c1 Merge "Disable blockquote command"
2020-07-20 17:13:34 +00:00
..
CommentTarget.js Move VE components to dt-ve 2020-06-22 20:09:18 +02:00
CommentTargetWidget.js Disable blockquote command 2020-07-17 23:25:15 +01:00
CommentTargetWidget.less Move VE components to dt-ve 2020-06-22 20:09:18 +02:00
dt.ce.PingNode.js Create a PingNode so user pings are single focusable nodes 2020-07-17 23:17:41 +01:00
dt.dm.PingNode.js Create a PingNode so user pings are single focusable nodes 2020-07-17 23:17:41 +01:00
dt.ui.UsernameCompletionAction.js Create a PingNode so user pings are single focusable nodes 2020-07-17 23:17:41 +01:00
dt.ui.UsernameCompletionTool.js UsernameCompletionTool: Use 'userAdd' icon 2020-06-24 12:33:33 +01:00