mediawiki-extensions-Discus.../modules
2020-01-08 23:28:19 +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
controller.js Merge "Add beforeunload handlers" 2019-12-13 19:00:40 +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 "Fix re-initialization after page is updated" 2020-01-08 23:28:19 +00:00
dt.ui.ReplyWidget.less Live preview 2019-12-12 23:59:24 +00: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 Live preview 2019-12-12 23:59:24 +00:00
parser.js Identify comments by username+timestamp+seq 2019-12-09 13:45:31 +00:00