jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/366860 )
Change subject: Add missing import ...................................................................... Add missing import Bug: T171295 Change-Id: I90c7dbce76078657ee006b628178fa42d15f1e61 --- M includes/ConstraintRepository.php 1 file changed, 1 insertion(+), 0 deletions(-) Approvals: Daniel Kinzler: Verified; Looks good to me, approved jenkins-bot: Verified diff --git a/includes/ConstraintRepository.php b/includes/ConstraintRepository.php index b326501..497e5c1 100644 --- a/includes/ConstraintRepository.php +++ b/includes/ConstraintRepository.php @@ -3,6 +3,7 @@ namespace WikibaseQuality\ConstraintReport; use InvalidArgumentException; +use MediaWiki\Logger\LoggerFactory; use Wikimedia\Rdbms\DBUnexpectedError; use Wikimedia\Rdbms\LikeMatch; use Wikibase\DataModel\Entity\PropertyId; -- To view, visit https://gerrit.wikimedia.org/r/366860 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I90c7dbce76078657ee006b628178fa42d15f1e61 Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/WikibaseQualityConstraints Gerrit-Branch: master Gerrit-Owner: Lucas Werkmeister (WMDE) <[email protected]> Gerrit-Reviewer: Daniel Kinzler <[email protected]> Gerrit-Reviewer: Jonas Kress (WMDE) <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
