jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/337801 )
Change subject: Fix type safety warning in RepositoryServiceWiring
......................................................................
Fix type safety warning in RepositoryServiceWiring
Change-Id: I0e6564a9a035ae0021bc283f2e05e7d0c85a07ad
---
M client/includes/Store/RepositoryServiceWiring.php
1 file changed, 5 insertions(+), 1 deletion(-)
Approvals:
WMDE-leszek: Looks good to me, approved
jenkins-bot: Verified
diff --git a/client/includes/Store/RepositoryServiceWiring.php
b/client/includes/Store/RepositoryServiceWiring.php
index 543ad78..fec0352 100644
--- a/client/includes/Store/RepositoryServiceWiring.php
+++ b/client/includes/Store/RepositoryServiceWiring.php
@@ -6,6 +6,7 @@
use Wikibase\DataModel\Services\Entity\EntityPrefetcher;
use Wikibase\Lib\Interactors\TermIndexSearchInteractorFactory;
use Wikibase\Lib\Store\EntityContentDataCodec;
+use Wikibase\Lib\Store\PrefetchingTermLookup;
use Wikibase\Lib\Store\Sql\PrefetchingWikiPageEntityMetaDataAccessor;
use Wikibase\Lib\Store\Sql\PropertyInfoTable;
use Wikibase\Lib\Store\Sql\WikiPageEntityMetaDataAccessor;
@@ -96,10 +97,13 @@
) {
/** @var TermIndex $termIndex */
$termIndex = $services->getService( 'TermIndex' );
+ /** @var PrefetchingTermLookup $prefetchingTermLookup */
+ $prefetchingTermLookup = $services->getService(
'PrefetchingTermLookup' );
+
return new TermIndexSearchInteractorFactory(
$termIndex,
$client->getLanguageFallbackChainFactory(),
- $services->getService( 'PrefetchingTermLookup' )
+ $prefetchingTermLookup
);
},
--
To view, visit https://gerrit.wikimedia.org/r/337801
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I0e6564a9a035ae0021bc283f2e05e7d0c85a07ad
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: Thiemo Mättig (WMDE) <[email protected]>
Gerrit-Reviewer: WMDE-leszek <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
