Jeroen De Dauw has submitted this change and it was merged.
Change subject: Remove unused imports
......................................................................
Remove unused imports
Change-Id: I7524f52ce0615fcad17b778b65a2733dca12705f
---
M client/includes/parserhooks/PropertyParserFunction.php
1 file changed, 0 insertions(+), 5 deletions(-)
Approvals:
Jeroen De Dauw: Verified; Looks good to me, approved
diff --git a/client/includes/parserhooks/PropertyParserFunction.php
b/client/includes/parserhooks/PropertyParserFunction.php
index b842a20..f9ec47b 100644
--- a/client/includes/parserhooks/PropertyParserFunction.php
+++ b/client/includes/parserhooks/PropertyParserFunction.php
@@ -2,13 +2,8 @@
namespace Wikibase;
-use DataTypes\DataTypeFactory;
-use DataValues\DataValue;
-use ValueFormatters\ValueFormatter;
use Wikibase\Client\WikibaseClient;
-use Wikibase\Lib\EntityRetrievingDataTypeLookup;
use Wikibase\Lib\SnakFormatter;
-use Wikibase\Lib\TypedValueFormatter;
/**
* Handler of the {{#property}} parser function.
--
To view, visit https://gerrit.wikimedia.org/r/58683
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7524f52ce0615fcad17b778b65a2733dca12705f
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <jeroended...@gmail.com>
Gerrit-Reviewer: Jeroen De Dauw <jeroended...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
