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
