[MediaWiki-commits] [Gerrit] mediawiki...Newsletter[master]: Updated docs in EchoNewsletterUserLocator

2016-12-30 Thread jenkins-bot (Code Review) 
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 
Gerrit-Reviewer: 01tonythomas <01tonytho...@gmail.com>
Gerrit-Reviewer: Addshore 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] mediawiki...Newsletter[master]: Updated docs in EchoNewsletterUserLocator

2016-12-30 Thread Filip (Code Review) 
Filip has uploaded a new change for review. ( 
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(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Newsletter 
refs/changes/86/329686/1

diff --git a/includes/Echo/EchoNewsletterUserLocator.php 
b/includes/Echo/EchoNewsletterUserLocator.php
index b70281d..31bc89f 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 UserArray|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: newchange
Gerrit-Change-Id: I0addb017ff60f4d503c0b2b484a506ba41816ee5
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Newsletter
Gerrit-Branch: master
Gerrit-Owner: Filip 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits