| .. |
|
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
|
Modifier: Pass document to createWikitext
|
2020-05-15 22:47:54 +01: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
|
Config: Separate useVisualEditor into enableVisual and use2017Wikitext
|
2020-05-06 18:03:36 +01:00 |
|
dt.ui.ReplyWidget.less
|
Switching between VE & wikitext (plain)
|
2020-05-06 18:03:36 +01:00 |
|
dt.ui.ReplyWidgetPlain.js
|
Manually clear out session storage on teardown
|
2020-05-08 23:01:17 +01:00 |
|
dt.ui.ReplyWidgetVisual.js
|
Config: Separate useVisualEditor into enableVisual and use2017Wikitext
|
2020-05-06 18:03:36 +01:00 |
|
dt.ui.UsernameCompletion.js
|
Show no remote users when input is empty
|
2020-05-11 19:35:48 +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
|
Add utils.getNativeRange() method
|
2020-04-28 23:11:26 +02:00 |
|
logger.js
|
Add override config for instrumentation rates
|
2020-04-13 12:38:40 -05:00 |
|
modifier.js
|
Modifier: Pass document to createWikitext
|
2020-05-15 22:47:54 +01:00 |
|
parser.js
|
Move all PHP to the MediaWiki\Extension\DiscussionTools namespace
|
2020-05-15 21:57:13 +02:00 |
|
utils.js
|
Create a Utils class in PHP
|
2020-05-15 00:25:32 +01:00 |
