mediawiki-extensions-Discus.../modules
2020-03-05 14:46:00 +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 Remove vertical padding from VE visual target 2020-02-18 15:53:45 +00:00
controller.js Move edit conflict retry code to controller 2020-03-03 13:25:14 +00: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 Merge "Move edit conflict retry code to controller" 2020-03-03 23:45:18 +00:00
dt.ui.ReplyWidget.less ReplyWidget: Set line-height to match normal wikitext editor 2020-03-04 15:45:04 +01:00
dt.ui.ReplyWidgetPlain.js Instrumentation 2020-02-24 19:50:27 +01:00
dt.ui.ReplyWidgetVisual.js Instrumentation 2020-02-24 19:50:27 +01:00
highlighter.css Rename the lines denoting child comments in debug mode to "rulers" 2020-02-10 22:14:38 +01:00
highlighter.js Improve comment ruler drawing in debug mode when indentation is weird 2020-02-11 02:32:32 +01:00
logger.js Correct the integration for logging 2020-02-28 17:42:21 +00:00
modifier.js Add reply links at the end of a line, even if the signature is in the middle 2020-03-02 21:39:37 +01:00
parser.js parser: Return signature and timestamp ranges 2020-03-05 14:28:17 +01:00