mediawiki-extensions-Discus.../modules
2020-03-20 19:37:48 +00: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 Blacklist/convert tables and headings in VE target 2020-02-18 15:44:40 +00:00
CommentTargetWidget.js Blacklist/convert tables and headings in VE target 2020-02-18 15:44:40 +00:00
CommentTargetWidget.less Fix padding in visual mode 2020-03-11 15:03:44 +00:00
controller.js Merge "Use 'baserevid' instead of 'basetimestamp' for edit conflict detection" 2020-03-20 19:30:15 +00:00
dt.debug.js Merge RL modules which are only loaded by 'ext.discussionTools.init' 2020-03-14 14:33:23 +01:00
dt.init.js parser: Improve merging multiple comments on one line 2020-03-14 13:34:42 +00:00
dt.init.less Wrap reply link in container so it may contain more links in future 2020-03-09 12:52:18 +00:00
dt.ui.ReplyWidget.js Merge "ReplyWidget: Double-check that we can post before posting" 2020-03-20 19:37:48 +00:00
dt.ui.ReplyWidget.less ReplyWidget: Fix spacing for save error messages 2020-03-11 22:01:44 +01:00
dt.ui.ReplyWidgetPlain.js Move wikitext comment building to the controller 2020-03-09 12:52:06 +00:00
dt.ui.ReplyWidgetVisual.js Tidy up ReplyWidgetVisual setup 2020-03-09 13:13:30 +00:00
highlighter.css Rename the lines denoting child comments in debug mode to "rulers" 2020-02-10 22:14:38 +01:00
highlighter.js Merge RL modules which are only loaded by 'ext.discussionTools.init' 2020-03-14 14:33:23 +01:00
logger.js Correct the integration for logging 2020-02-28 17:42:21 +00:00
modifier.js parser: Improve merging multiple comments on one line 2020-03-14 13:34:42 +00:00
parser.js parser: Improve merging multiple comments on one line 2020-03-14 13:34:42 +00:00
utils.js parser: Improve merging multiple comments on one line 2020-03-14 13:34:42 +00:00