Mailing List Archive

jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/406008 )

Change subject: Tweak @covers tags
......................................................................


Tweak @covers tags

Change-Id: I0d83aa5b93696c21e0583f48cae5a494701690f4
---
M tests/phpunit/specials/SpecialExtensionDistributorTest.php
M tests/phpunit/specials/SpecialSkinDistributorTest.php
2 files changed, 2 insertions(+), 0 deletions(-)

Approvals:
jenkins-bot: Verified
Jforrester: Looks good to me, approved



diff --git a/tests/phpunit/specials/SpecialExtensionDistributorTest.php b/tests/phpunit/specials/SpecialExtensionDistributorTest.php
index 2a4b28d..2e7cdb9 100644
--- a/tests/phpunit/specials/SpecialExtensionDistributorTest.php
+++ b/tests/phpunit/specials/SpecialExtensionDistributorTest.php
@@ -2,6 +2,7 @@

/**
* @covers SpecialExtensionDistributor
+ * @covers SpecialBaseDistributor
*
* @group SpecialPage
*
diff --git a/tests/phpunit/specials/SpecialSkinDistributorTest.php b/tests/phpunit/specials/SpecialSkinDistributorTest.php
index 698c459..7344359 100644
--- a/tests/phpunit/specials/SpecialSkinDistributorTest.php
+++ b/tests/phpunit/specials/SpecialSkinDistributorTest.php
@@ -2,6 +2,7 @@

/**
* @covers SpecialSkinDistributor
+ * @covers SpecialBaseDistributor
*
* @group SpecialPage
*

--
To view, visit https://gerrit.wikimedia.org/r/406008
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I0d83aa5b93696c21e0583f48cae5a494701690f4
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ExtensionDistributor
Gerrit-Branch: master
Gerrit-Owner: Legoktm <legoktm@member.fsf.org>
Gerrit-Reviewer: Jforrester <jforrester@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits