mediawiki-extensions-Discus.../modules
Ed Sanders 66d3c95f23 Prefix '@' to username auto-complete output
Bug: T252460
Change-Id: I932ccddcacbe15efe9ea08d6a6d028cd84d8815c
2020-05-20 12:28:31 +01: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 Merge "Show real error message when an exception is thrown" 2020-05-18 23:08:34 +00:00
CommentTarget.js Allow inspectors to position beyond the surface 2020-04-30 17:05:02 +01:00
CommentTargetWidget.js @Username completion in VE (source or visual) mode 2020-05-05 09:44:08 -05:00
CommentTargetWidget.less Give username completion a min width of 10em 2020-05-11 19:44:52 +01:00
controller.js @Username completion in VE (source or visual) mode 2020-05-05 09:44:08 -05: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 Show real error message when an exception is thrown 2020-05-11 19:04:54 +02:00
dt.ui.ReplyWidget.less Switching between VE & wikitext (plain) 2020-05-06 18:03:36 +01:00
dt.ui.ReplyWidgetPlain.js ReplyWidget: Move all events bind to setup 2020-05-17 21:12:23 +01:00
dt.ui.ReplyWidgetVisual.js ReplyWidget: Move all events bind to setup 2020-05-17 21:12:23 +01: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 Reduce duplication between PHP parser and data gen for JS parser 2020-05-19 20:54:44 +02:00
utils.js Create a Utils class in PHP 2020-05-15 00:25:32 +01:00