mediawiki-extensions-Discus.../modules
Ed Sanders 4d0498853d Highlighter: Fix check for comment warnings
This was causing the highlighter to not alternate colours.

Change-Id: I9bb95e02ae91967c696f026198efb27d4d8414d4
2020-11-16 23:18:05 +00:00
..
dt-ve Create controller.getApi method with defaults 2020-10-23 12:30:37 +01:00
lib
.eslintrc.json eslint: Disable max-len 2020-04-21 15:50:19 +01:00
CommentController.js Create controller.getApi method with defaults 2020-10-23 12:30:37 +01:00
CommentItem.js Move warnings stuff from CommentItem to ThreadItem 2020-11-02 20:07:23 +00:00
controller.js Use new heading markers for getting heading ranges/text 2020-11-04 21:04:40 +00:00
dt.debug.js Fix debug mode after language variant changes 2020-09-24 19:49:04 +02:00
dt.init.js Enable DT server side via a cookie to preserve user enable hack 2020-10-19 21:42:58 +01:00
dt.init.less Add reply links on the server 2020-10-08 13:27:08 +01:00
dt.ui.ReplyWidget.js Merge "Move ID->title logic into HeadingItem" 2020-11-05 18:10:08 +00:00
dt.ui.ReplyWidget.less ReplyWidget: Ensure scrollbar doesn't appear in source mode 2020-11-10 12:20:30 +01:00
dt.ui.ReplyWidgetPlain.js ReplyWidget: Pass initial config values to #setup, not to constructor 2020-09-25 20:00:00 +02:00
dt.ui.ReplyWidgetVisual.js ReplyWidget: Pass initial config values to #setup, not to constructor 2020-09-25 20:00:00 +02:00
HeadingItem.js Move ID->title logic into HeadingItem 2020-11-05 16:10:39 +00:00
highlighter.css Fix highlighter styles: match sig/timestamps border sizes 2020-07-14 23:17:29 +01:00
highlighter.js Highlighter: Fix check for comment warnings 2020-11-16 23:18:05 +00:00
logger.js Switching editor modes would switch editor_interface before success/fail 2020-10-28 21:59:32 -05:00
modifier.js Ignore HTML comments which are more than two lines from a reply 2020-09-29 11:30:03 +01:00
Parser.js Merge "Don't detect comments within headings" 2020-11-05 16:56:02 +00:00
ThreadItem.js Use new heading markers for getting heading ranges/text 2020-11-04 21:04:40 +00:00
utils.js Move getHeadlineNodeAndOffset() to utils 2020-11-05 16:11:30 +01:00