mediawiki-extensions-Discus.../modules/dt-ve
Ed Sanders 37614a136f Show usernames when display names are matched
Also make our filter function match any substring of
the suggestion index (username + display names), as display
names often contain leading punctuation.

Bug: T266401
Depends-On: I69e5f54f7a8b7ca4126cc3ea513fc96e0a8606fb
Change-Id: I4e7429f8a88c3a82e981f37eb107c2b011482d73
2023-03-16 20:23:42 +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
dt.ce.PingNode.js Add an optional suffix message to mentions 2022-01-19 10:29:10 -06:00
dt.dm.MWSignatureNode.js
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 Show usernames when display names are matched 2023-03-16 20:23:42 +01:00
dt.ui.UsernameCompletionTool.js Do not auto-add "Mention a user" to "Insert" menu 2020-07-28 21:42:33 +02:00