wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-09-24 02:48:18 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../modules/dt-ve
History
jenkins-bot 3bea7fe77b Merge "Remove unused 'inTargetWidget' config"
2021-05-24 20:53:20 +00:00
..
CommentTarget.js Disable wikitext paste conversion in source mode 2021-05-03 14:52:19 +01:00
CommentTargetWidget.js Remove unused 'inTargetWidget' config 2021-04-29 15:46:26 +01:00
CommentTargetWidget.less Change dt- class prefix to ext-discussiontools- 2021-03-13 14:42:39 +00:00
dt.ce.MWSignatureNode.js Signature handling in visual mode 2020-07-16 01:32:19 +02:00
dt.ce.PingNode.js Code style: Move var declarations inline 2021-04-22 17:43:46 +00:00
dt.dm.MWSignatureNode.js Signature handling in visual mode 2020-07-16 01:32:19 +02:00
dt.dm.PingNode.js Move the '@' prefix into the PingNode, rather than plain text 2021-01-04 21:43:42 +00:00
dt.ui.MWSignatureContextItem.js Code style: Move var declarations inline 2021-04-22 17:43:46 +00:00
dt.ui.registries.js Code style: Move var declarations inline 2021-04-22 17:43:46 +00:00
dt.ui.UsernameCompletionAction.js Code style: Move var declarations inline 2021-04-22 17:43:46 +00:00
dt.ui.UsernameCompletionTool.js Do not auto-add "Mention a user" to "Insert" menu 2020-07-28 21:42:33 +02:00