wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-24 08:23:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../modules/dt-ve
History
Ed Sanders f62ce55671 Fix wikitext command registry inheritance 
This fixes some missing commands in source mode, such as undo.

Change-Id: Ie470bd351e2fd67bcbb8cc839e70c3efcaaf1564
2021-02-27 18:24:36 +00:00
..
CommentTarget.js Support the enable2017Wikitext option 2021-02-26 19:13:54 +00:00
CommentTargetWidget.js Support the enable2017Wikitext option 2021-02-26 19:13:54 +00:00
CommentTargetWidget.less Username suggestion header 2020-08-10 17:34:04 +00:00
dt.ce.MWSignatureNode.js Signature handling in visual mode 2020-07-16 01:32:19 +02:00
dt.ce.PingNode.js Move the '@' prefix into the PingNode, rather than plain text 2021-01-04 21:43:42 +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 Signature handling in visual mode 2020-07-16 01:32:19 +02:00
dt.ui.registries.js Fix wikitext command registry inheritance 2021-02-27 18:24:36 +00:00
dt.ui.UsernameCompletionAction.js Support the enable2017Wikitext option 2021-02-26 19:13:54 +00:00
dt.ui.UsernameCompletionTool.js Do not auto-add "Mention a user" to "Insert" menu 2020-07-28 21:42:33 +02:00