wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-28 10:11:45 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../includes
History
Ed Sanders d1e58841af Rename removeListItem to removeAddedListItem and remove in PHP 
This method shouldn't be required on the server. Leave comments
relating to it in addListItem so JS & PHP can be kept in sync.

Change-Id: I849fac660faf6e750272c20776f96b9250f96b1b
2020-05-18 19:25:08 +00:00
..
CommentModifier.php Rename removeListItem to removeAddedListItem and remove in PHP 2020-05-18 19:25:08 +00:00
CommentParser.php PHP: More missing typehints 2020-05-16 16:46:25 +01:00
CommentUtils.php Move all PHP to the MediaWiki\Extension\DiscussionTools namespace 2020-05-15 21:57:13 +02:00
Data.php PHP: More missing typehints 2020-05-16 16:46:25 +01:00
Hooks.php Merge "Follow-up b78fb3f4: Make sure we're using a MW User" 2020-05-15 20:38:42 +00:00