jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/405215 )
Change subject: Fix invalid @covers tag
......................................................................
Fix invalid @covers tag
Change-Id: I32186053fa361a33c533cd10aa03280ed5edf219
---
M lib/tests/phpunit/Store/CacheAwarePropertyInfoStoreTest.php
1 file changed, 3 insertions(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
Thiemo Kreuz (WMDE): Looks good to me, approved
diff --git a/lib/tests/phpunit/Store/CacheAwarePropertyInfoStoreTest.php
b/lib/tests/phpunit/Store/CacheAwarePropertyInfoStoreTest.php
index 41e01c3..e9330a5 100644
--- a/lib/tests/phpunit/Store/CacheAwarePropertyInfoStoreTest.php
+++ b/lib/tests/phpunit/Store/CacheAwarePropertyInfoStoreTest.php
@@ -4,13 +4,14 @@
use BagOStuff;
use InvalidArgumentException;
+use MediaWikiCoversValidator;
use Wikibase\DataModel\Entity\PropertyId;
use Wikibase\Lib\Store\CacheAwarePropertyInfoStore;
use Wikibase\Lib\Store\PropertyInfoLookup;
use Wikibase\Lib\Store\PropertyInfoStore;
/**
- * @covers Wikibase\Lib\Store\CacheAwarePropertyInfoStore;
+ * @covers Wikibase\Lib\Store\CacheAwarePropertyInfoStore
*
* @group Wikibase
* @group WikibasePropertyInfo
@@ -19,6 +20,7 @@
* @license GPL-2.0+
*/
class CacheAwarePropertyInfoStoreTest extends \PHPUnit_Framework_TestCase {
+ use MediaWikiCoversValidator;
private function newCacheAwarePropertyInfoStore( BagOStuff $cache ) {
$mockStore = $this->getMock( PropertyInfoStore::class );
--
To view, visit https://gerrit.wikimedia.org/r/405215
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I32186053fa361a33c533cd10aa03280ed5edf219
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: Thiemo Kreuz (WMDE) <thiemo.kr...@wikimedia.de>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
