wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-12 09:58:17 +00:00
Code Issues Packages Projects Releases Wiki Activity
442 commits 146 branches 0 tags 124 MiB
Commit graph

6 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
jenkins-bot a41eadfc51 Merge "Modifier: Pass document to createWikitext" 2020-05-18 17:54:15 +00:00
Ed Sanders 5e996fdfdd Modifier: Pass document to createWikitext 
Change-Id: I1793e1d690835af746a4e25a50e2e0a474811e8e
 2020-05-15 22:47:54 +01:00
Reedy 08a6a83f9d Replace stObject with stdClass 
Change-Id: Id380c34cf0ca85a0a9a0d044474aa228b620c78f
 2020-05-15 21:57:28 +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 includes/DiscussionToolsCommentModifier.php (Browse further)