wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-28 10:11:45 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../modules/dt-ve
History
Ed Sanders 35e97c24fe Disable wikitext paste conversion in source mode 
Bug: T280745
Depends-On: Icc716563e5536b4ef33a48ba10a72f3a39bdec35
Change-Id: I5875d8aa12dee694c3e5bd7e1a980da284343722
2021-05-03 14:52:19 +01:00
..
CommentTarget.js Disable wikitext paste conversion in source mode 2021-05-03 14:52:19 +01:00
CommentTargetWidget.js Change dt- class prefix to ext-discussiontools- 2021-03-13 14:42:39 +00: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