mediawiki-extensions-Discus.../includes
Ed Sanders 94511c6bad Add getHeading method to CommentItem
Change-Id: I14ccdbb432e835fe74760a52f07de172df2aba27
2020-07-01 17:21:15 +01:00
..
CommentItem.php Add getHeading method to CommentItem 2020-07-01 17:21:15 +01:00
CommentModifier.php Move wikitext modifiers to modifier.js 2020-07-01 17:06:02 +01:00
CommentParser.php CommentParser.php: Fix URL parsing 2020-07-01 17:06:02 +01:00
CommentUtils.php Remove various phan suppressions and fix issues 2020-06-12 20:35:59 +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
ThreadItem.php Improve ThreadItem documentation 2020-06-26 14:56:19 +02:00