wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-12-24 05:45:14 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../modules/dt-ve
History
Ed Sanders af6b4443a1 MWUsernameCompletionAction: Fix text for exact match 
This broke when we introduced matching to display names.

Bug: T344399
Change-Id: I30512e09edafe0e7e170a17a9a02446c71650d0b
2023-08-17 12:49:15 +01:00
..
CommentTarget.js Move username completion tool after special character tool in toolbar 2022-11-07 13:01:11 +00:00
CommentTargetWidget.js Re-enable keyboard sequences for template, table etc. in new topic tool 2022-07-31 02:40:12 +02:00
CommentTargetWidget.less Halve the initial height of the reply widget on mobile 2022-07-01 15:05:00 +01:00
dt.ce.MWSignatureNode.js Signature handling in visual mode 2020-07-16 01:32:19 +02:00
dt.ce.PingNode.js Add an optional suffix message to mentions 2022-01-19 10:29:10 -06:00
dt.dm.MWSignatureNode.js Signature handling in visual mode 2020-07-16 01:32:19 +02:00
dt.dm.PingNode.js Add an optional suffix message to mentions 2022-01-19 10:29:10 -06:00
dt.ui.MWSignatureContextItem.js Code style: Move var declarations inline 2021-04-22 17:43:46 +00:00
dt.ui.registries.js Re-enable keyboard sequences for template, table etc. in new topic tool 2022-07-31 02:40:12 +02:00
dt.ui.UsernameCompletionAction.js MWUsernameCompletionAction: Fix text for exact match 2023-08-17 12:49:15 +01:00
dt.ui.UsernameCompletionTool.js Do not auto-add "Mention a user" to "Insert" menu 2020-07-28 21:42:33 +02:00