mediawiki-extensions-Discus.../modules
Ed Sanders 7de6b4e04a Use simple targetSaver API call
Depends-On: Ida47968c995166b1dca36fc9fe28fac374010564
Change-Id: Id3decabb803a65d79cb09668bde4e0b498ad057c
2020-01-24 15:45:43 -08:00
..
lib Handle timestamps in daylight saving time 2019-10-22 16:33:21 +02:00
.eslintrc.json build: Update linters 2019-10-28 12:29:56 +00:00
CommentTarget.js Option to integrate VisualEditor instead of textarea 2020-01-07 22:15:03 +00:00
CommentTargetWidget.js Option to integrate VisualEditor instead of textarea 2020-01-07 22:15:03 +00:00
CommentTargetWidget.less Option to integrate VisualEditor instead of textarea 2020-01-07 22:15:03 +00:00
controller.js Use simple targetSaver API call 2020-01-24 15:45:43 -08:00
dt.debug.js Re-add debug highlighter 2019-10-24 23:21:40 +02:00
dt.init.js Fix re-initialization after page is updated 2020-01-04 18:49:55 +01:00
dt.init.less Merge "Highlight comment after saving" 2019-12-03 16:49:01 +00:00
dt.ui.ReplyWidget.js Teardown the widget as soon as possible 2020-01-15 16:21:59 +00:00
dt.ui.ReplyWidget.less Live preview 2019-12-12 23:59:24 +00:00
dt.ui.ReplyWidgetPlain.js Pick reply insertion point based on parser tree, not DOM tree 2020-01-23 21:13:12 +01:00
dt.ui.ReplyWidgetVisual.js Pick reply insertion point based on parser tree, not DOM tree 2020-01-23 21:13:12 +01:00
highlighter.css Re-add debug highlighter 2019-10-24 23:21:40 +02:00
highlighter.js Re-add debug highlighter 2019-10-24 23:21:40 +02:00
modifier.js Pick reply insertion point based on parser tree, not DOM tree 2020-01-23 21:13:12 +01:00
parser.js parser: Merge multiple comments on one line 2020-01-22 02:21:43 +01:00