Jeroen De Dauw has uploaded a new change for review.
https://gerrit.wikimedia.org/r/153703
Change subject: Remove dead line
......................................................................
Remove dead line
Change-Id: I684146f1b631242eb14b5e65c94dbd5a6b98486d
---
M lib/includes/store/GenericEntityInfoBuilder.php
1 file changed, 0 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Wikibase
refs/changes/03/153703/1
diff --git a/lib/includes/store/GenericEntityInfoBuilder.php
b/lib/includes/store/GenericEntityInfoBuilder.php
index 76ad792..76d67cb 100644
--- a/lib/includes/store/GenericEntityInfoBuilder.php
+++ b/lib/includes/store/GenericEntityInfoBuilder.php
@@ -133,7 +133,6 @@
*/
private function applyRedirect( $idString, EntityId $targetId) {
$redirectedId = $this->parseId( $idString );
- $type = $redirectedId->getEntityType();
$targetKey = $targetId->getSerialization();
--
To view, visit https://gerrit.wikimedia.org/r/153703
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I684146f1b631242eb14b5e65c94dbd5a6b98486d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <jeroended...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
