wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-09-24 10:58:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../modules/dt-ve
History
Ed Sanders 6790e5c41c Disable find-and-replace 
Bug: T263570
Change-Id: I075c1696f179eed2e0143c12082cee048c200227
2020-09-25 15:17:15 +01:00
..
CommentTarget.js Allow reply widget header and footer to wrap when it's narrow 2020-08-07 20:25:23 +00:00
CommentTargetWidget.js Merge "Add ime-position-inside ULS class to reply widgets" 2020-07-24 22:50:45 +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 build: Update eslint-config-wikimedia to 0.17.0 2020-08-26 23:46:34 +01:00
dt.dm.MWSignatureNode.js Signature handling in visual mode 2020-07-16 01:32:19 +02:00
dt.dm.PingNode.js build: Update eslint-config-wikimedia to 0.17.0 2020-08-26 23:46:34 +01:00
dt.ui.MWSignatureContextItem.js Signature handling in visual mode 2020-07-16 01:32:19 +02:00
dt.ui.registries.js Disable find-and-replace 2020-09-25 15:17:15 +01:00
dt.ui.UsernameCompletionAction.js Fix crash when trying to mention invalid usernames 2020-08-16 22:50:32 +02:00
dt.ui.UsernameCompletionTool.js Do not auto-add "Mention a user" to "Insert" menu 2020-07-28 21:42:33 +02:00