mediawiki-extensions-Discus.../includes
2020-07-22 15:04:00 +00:00
..
CommentItem.php Refactor CommentParser 2020-07-20 23:38:10 +01:00
CommentModifier.php Merge "Improve detecting template-generated multi-line comments" 2020-07-22 15:04:00 +00:00
CommentParser.php Refactor CommentParser 2020-07-20 23:38:10 +01:00
CommentUtils.php Improve detecting template-generated multi-line comments 2020-07-21 22:26:45 +01: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 "Improve detecting template-generated multi-line comments" 2020-07-22 15:04:00 +00:00
TreeWalker.php CommentParser.php: Use tree walking instead of XPath 2020-07-15 16:40:50 +00:00