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 01ac28540a Support the enable2017Wikitext option 
Bug: T257391
Change-Id: If2511609035c26063203512f4b860bd0060e08af
2021-02-26 19:13:54 +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
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
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
dt.ui.registries.js Support the enable2017Wikitext option 2021-02-26 19:13:54 +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