mediawiki-extensions-Discus.../modules
2020-05-25 16:37:17 +00:00
..
lib Handle timestamps in daylight saving time 2019-10-22 16:33:21 +02:00
.eslintrc.json eslint: Disable max-len 2020-04-21 15:50:19 +01:00
CommentController.js ReplyWidget: Avoid buttons shifting when switching to source 2020-05-21 23:43:51 +02:00
CommentTarget.js Allow inspectors to position beyond the surface 2020-04-30 17:05:02 +01:00
CommentTargetWidget.js Visual: Use createModelFromDom when setting document 2020-05-21 18:26:59 +01:00
CommentTargetWidget.less Give username completion a min width of 10em 2020-05-11 19:44:52 +01:00
controller.js Add autosave support to visual mode 2020-05-20 22:16:20 +01: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 Config: Separate useVisualEditor into enableVisual and use2017Wikitext 2020-05-06 18:03:36 +01:00
dt.init.less Add 'cursor: pointer' to the reply link 2020-04-27 18:30:07 +00:00
dt.ui.ReplyWidget.js Initialize tab state to avoid flicker 2020-05-22 18:25:04 +00:00
dt.ui.ReplyWidget.less Switching between VE & wikitext (plain) 2020-05-06 18:03:36 +01:00
dt.ui.ReplyWidgetPlain.js Add autosave support to visual mode 2020-05-20 22:16:20 +01:00
dt.ui.ReplyWidgetVisual.js Initialize tab state to avoid flicker 2020-05-22 18:25:04 +00:00
dt.ui.UsernameCompletion.js Prefix '@' to username auto-complete output 2020-05-20 12:28:31 +01:00
highlighter.css Stop printing console warnings 2020-05-18 23:37:37 +02:00
highlighter.js Stop printing console warnings 2020-05-18 23:37:37 +02:00
logger.js Add override config for instrumentation rates 2020-04-13 12:38:40 -05:00
modifier.js Rename removeListItem to removeAddedListItem and remove in PHP 2020-05-18 19:25:08 +00:00
parser.js Use the faster childIndexOf() approach in JS too 2020-05-22 19:33:35 +02:00
utils.js Use the faster childIndexOf() approach in JS too 2020-05-22 19:33:35 +02:00