wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-09-30 13:56:27 +00:00
Code Issues Packages Projects Releases Wiki Activity
432 commits 138 branches 0 tags 115 MiB
Commit graph

4 commits

Author SHA1 Message Date
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
Reedy 234988155e Add leading \ to covers 
Change-Id: I1ed4cd28bf630c6aae238e548410d1293a8b71f1
 2020-05-15 22:08:25 +01:00
Ed Sanders e6e0b1ead9 PHP: Add missing typehints 
Change-Id: I5639f8cbdae9aaa9cfa06136e19cc94f9fad10ea
 2020-05-15 22:04:47 +02:00
Ed Sanders b78fb3f4c1 Move all PHP to the MediaWiki\Extension\DiscussionTools namespace 
Change-Id: I654ebb3e646a6d8d62f7bd14d48805e39f836d7e
 2020-05-15 21:57:13 +02:00
Renamed from tests/phpunit/DiscussionToolsCommentModifierTest.php (Browse further)