jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/329686 )
Change subject: Updated docs in EchoNewsletterUserLocator ...................................................................... Updated docs in EchoNewsletterUserLocator Bug: T154230 Change-Id: I0addb017ff60f4d503c0b2b484a506ba41816ee5 --- M includes/Echo/EchoNewsletterUserLocator.php 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: 01tonythomas: Looks good to me, approved jenkins-bot: Verified diff --git a/includes/Echo/EchoNewsletterUserLocator.php b/includes/Echo/EchoNewsletterUserLocator.php index b70281d..ce96509 100644 --- a/includes/Echo/EchoNewsletterUserLocator.php +++ b/includes/Echo/EchoNewsletterUserLocator.php @@ -5,7 +5,7 @@ * Locate all users subscribed to a newsletter. * * @param EchoEvent $event - * @return User[]|array empty if the newsletter has been deleted/invalid + * @return UserArrayFromResult|array empty if the newsletter has been deleted/invalid */ public static function locateNewsletterSubscribedUsers( EchoEvent $event ) { $extra = $event->getExtra(); -- To view, visit https://gerrit.wikimedia.org/r/329686 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I0addb017ff60f4d503c0b2b484a506ba41816ee5 Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/Newsletter Gerrit-Branch: master Gerrit-Owner: Filip <r...@protonmail.com> Gerrit-Reviewer: 01tonythomas <01tonytho...@gmail.com> Gerrit-Reviewer: Addshore <addshorew...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits