mediawiki-extensions-Discus.../includes
2020-08-07 20:25:33 +00:00
..
ApiDiscussionTools.php Re-apply new reply API patches 2020-08-07 21:31:38 +02:00
ApiDiscussionToolsEdit.php Use DOMCompat::getOuterHTML instead of doc->saveHTML() 2020-08-07 21:31:38 +02:00
CommentItem.php Refactor CommentParser 2020-07-20 23:38:10 +01:00
CommentModifier.php Better handle HTML comments following replies 2020-07-23 18:18:21 +02: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 ThreadItem: Fix "Notice: Undefined index: href" 2020-08-07 17:41:41 +02:00
TreeWalker.php CommentParser.php: Use tree walking instead of XPath 2020-07-15 16:40:50 +00:00