mediawiki-extensions-Discus.../includes
2020-08-25 13:28:55 +00:00
..
ApiDiscussionTools.php Re-apply new reply API patches (again) 2020-08-19 20:05:42 +00:00
ApiDiscussionToolsEdit.php Fix typo in API help message key 2020-08-25 13:24:31 +01:00
CommentItem.php Refactor CommentParser 2020-07-20 23:38:10 +01:00
CommentModifier.php Skip to the end of the paragraph in the parser, not modifier 2020-08-20 19:35:55 +00:00
CommentParser.php Skip to the end of the paragraph in the parser, not modifier 2020-08-20 19:35:55 +00:00
CommentUtils.php Skip to the end of the paragraph in the parser, not modifier 2020-08-20 19:35:55 +00:00
Data.php Reduce duplication between PHP parser and data gen for JS parser 2020-05-19 20:54:44 +02:00
HeadingItem.php Improve ThreadItem documentation 2020-06-26 14:56:19 +02:00
Hooks.php Use $wgLocaltimezone global instead of request context 2020-06-17 23:14:13 +02:00
ImmutableRange.php Remove various phan suppressions and fix issues 2020-06-12 20:35:59 +01:00
NodeFilter.php CommentParser.php: Use tree walking instead of XPath 2020-07-15 16:40:50 +00:00
ThreadItem.php Merge "Fix indentation level when replying to comments with mixed indentation" 2020-08-10 22:27:44 +00:00
TreeWalker.php CommentParser.php: Use tree walking instead of XPath 2020-07-15 16:40:50 +00:00