mediawiki-extensions-Discus.../modules/dt-ve
2024-05-02 21:42:02 +00:00
..
CommentTarget.js Move username completion tool after special character tool in toolbar 2022-11-07 13:01:11 +00:00
CommentTargetWidget.js Replace $.extend with Object.assign 2024-05-02 16:49:43 +01: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 Remove file headers and @copyright tags, not used consistently in this repo 2023-12-04 12:30:56 +00:00
dt.dm.MWSignatureNode.js Signature handling in visual mode 2020-07-16 01:32:19 +02:00
dt.dm.PingNode.js Remove file headers and @copyright tags, not used consistently in this repo 2023-12-04 12:30:56 +00:00
dt.ui.MWSignatureContextItem.js Code style: Move var declarations inline 2021-04-22 17:43:46 +00:00
dt.ui.registries.js Prefer arrow functions for callbacks 2024-04-19 12:34:23 +01:00
dt.ui.UsernameCompletionAction.js JSDoc: {Mixed} -> {any} 2024-05-02 10:36:24 +01:00
dt.ui.UsernameCompletionTool.js Do not auto-add "Mention a user" to "Insert" menu 2020-07-28 21:42:33 +02:00