mediawiki-extensions-Discus.../includes
2020-08-20 20:01:03 +00:00
..
CommentItem.php Refactor CommentParser 2020-07-20 23:38:10 +01:00
CommentModifier.php Fix indentation level when replying to comments with mixed indentation 2020-08-06 01:25:33 +02:00
CommentParser.php parser: Code quality tweaks 2020-08-20 20:52:42 +02:00
CommentUtils.php Fix indentation level when replying to comments with mixed indentation 2020-08-06 01:25:33 +02: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