jenkins-bot has submitted this change and it was merged. Change subject: Add missing @covers tag ......................................................................
Add missing @covers tag Change-Id: I491929e3d77688bf07640db4218ef99d6b888a82 --- M tests/phpunit/includes/UserTest.php 1 file changed, 3 insertions(+), 0 deletions(-) Approvals: Nikerabbit: Looks good to me, approved jenkins-bot: Verified diff --git a/tests/phpunit/includes/UserTest.php b/tests/phpunit/includes/UserTest.php index f5cd1fc..c3cb193 100644 --- a/tests/phpunit/includes/UserTest.php +++ b/tests/phpunit/includes/UserTest.php @@ -356,6 +356,9 @@ ); } + /** + * @covers User::equals + */ public function testEquals() { $first = User::newFromName( 'EqualUser' ); $second = User::newFromName( 'EqualUser' ); -- To view, visit https://gerrit.wikimedia.org/r/184696 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I491929e3d77688bf07640db4218ef99d6b888a82 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Legoktm <legoktm.wikipe...@gmail.com> Gerrit-Reviewer: Nikerabbit <niklas.laxst...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits