mediawiki-extensions-Discus.../modules
Bartosz Dziewoński a491e3aaac Rename the lines denoting child comments in debug mode to "rulers"
I got tired of typing "relationship".

Change-Id: I318bdd1c049d7ab7fdeb1512a083cf8f4121d598
2020-02-10 22:14:38 +01: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 Change tags method so anon edits will get tagged 2020-02-07 01:19:11 -06: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 Re-style preview 2020-02-08 00:13:41 +00:00
dt.ui.ReplyWidget.less Re-style preview 2020-02-08 00:13:41 +00:00
dt.ui.ReplyWidgetPlain.js Merge "ReplyWidget: Handle save errors" 2020-01-29 20:51:50 +00:00
dt.ui.ReplyWidgetVisual.js Merge "ReplyWidget: Handle save errors" 2020-01-29 20:51:50 +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 Rename the lines denoting child comments in debug mode to "rulers" 2020-02-10 22:14:38 +01:00
modifier.js Pick reply insertion point based on parser tree, not DOM tree 2020-01-23 21:13:12 +01:00
parser.js Stop using native Range objects, they're too annoying 2020-02-05 19:42:03 +01:00