From 06b3acc3331ddea7a2a55a74c289a59a914bf8a8 Mon Sep 17 00:00:00 2001 From: addshore Date: Tue, 13 Oct 2015 17:30:04 +0100 Subject: [PATCH] Of course EmailNotification::updateWatchlistTimestamp returns users ids Change-Id: I04b2a8f97527c2bcd3f993b60e4100915b7f4c18 --- includes/mail/EmailNotification.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/mail/EmailNotification.php b/includes/mail/EmailNotification.php index 31dd395128..044bb5343d 100644 --- a/includes/mail/EmailNotification.php +++ b/includes/mail/EmailNotification.php @@ -76,7 +76,7 @@ class EmailNotification { * timestamp will not be updated(they have already seen it) * @param Title $title The title to update timestamps for * @param string $timestamp Set the update timestamp to this value - * @return int[] + * @return int[] Array of user IDs */ public static function updateWatchlistTimestamp( User $editor, Title $title, $timestamp ) { global $wgEnotifWatchlist, $wgShowUpdatedMarker; -- 2.20.1