jenkins-bot has submitted this change and it was merged.
Change subject: Missing use statement
......................................................................
Missing use statement
Change-Id: I8904201816b5ed02314565120f87764b7f293669
---
M includes/Data/UserNameBatch.php
1 file changed, 2 insertions(+), 1 deletion(-)
Approvals:
EBernhardson: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/Data/UserNameBatch.php b/includes/Data/UserNameBatch.php
index 279ace2..86ba77d 100644
--- a/includes/Data/UserNameBatch.php
+++ b/includes/Data/UserNameBatch.php
@@ -6,6 +6,7 @@
namespace Flow\Data;
use Flow\DbFactory;
+use User;
/**
* Listen for loaded objects and pre-load their user id fields into
@@ -182,7 +183,7 @@
/**
* @param string $wiki wiki id
* @param array $userIds List of user ids to lookup
- * @return bool|ResultWrapper Containing objects with user_id and
+ * @return bool|ResultWrapper Containing objects with user_id and
* user_name properies.
*/
function execute( $wiki, array $userIds );
--
To view, visit https://gerrit.wikimedia.org/r/108712
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I8904201816b5ed02314565120f87764b7f293669
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Flow
Gerrit-Branch: master
Gerrit-Owner: EBernhardson <[email protected]>
Gerrit-Reviewer: EBernhardson <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
