wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-24 00:13:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Add leading \ to covers"

Browse source
This commit is contained in:
jenkins-bot 2020-05-15 21:46:19 +00:00 committed by Gerrit Code Review
parent 08a6a83f9d 234988155e
commit 973fc05f9a
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tests/phpunit/CommentModifierTest.php
View file

@ -5,7 +5,7 @@ namespace MediaWiki\Extension\DiscussionTools\Tests;
use MediaWiki\Extension\DiscussionTools\CommentModifier;
/**
* @coversDefaultClass MediaWiki\Extension\DiscussionTools\CommentModifier
* @coversDefaultClass \MediaWiki\Extension\DiscussionTools\CommentModifier
*
* @group DiscussionTools
*/

2
tests/phpunit/CommentParserTest.php
View file

@ -11,7 +11,7 @@ use stdClass;
use Wikimedia\TestingAccessWrapper;
/**
* @coversDefaultClass MediaWiki\Extension\DiscussionTools\CommentParser
* @coversDefaultClass \MediaWiki\Extension\DiscussionTools\CommentParser
*
* @group DiscussionTools
*/