mediawiki-extensions-Discus.../includes
Bartosz Dziewoński 7cd370615f Reindent CommentParser::findTimestamp()
Something terrible has happened to this function… It seems that I have
brutalized it when rebasing 092cfd6075.

Change-Id: I12d75c69d15645112563a7bc345209b23b54cb3e
2020-08-11 06:45:45 +02:00
..
ApiDiscussionTools.php Re-apply new reply API patches 2020-08-07 21:31:38 +02:00
ApiDiscussionToolsEdit.php ApiDiscussionToolsEdit: Do not pass 'basetimestamp' 2020-08-10 20:29:55 +02: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 Reindent CommentParser::findTimestamp() 2020-08-11 06:45:45 +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