wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-24 02:39:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

Avoid warnings on older queued EchoNotificationDeleteJobs

Browse source 
Old jobs were queued with array( $userId => $userId ), so there will be no
'0' index. Use array_values() since we don't care about the keys.

Change-Id: I1155d310c7fa09c728797d35d63c7cec0383511c
This commit is contained in:
Kunal Mehta 2015-07-02 15:08:14 -07:00
parent a7c36b0b86
commit e536eab216
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
includes/jobs/NotificationDeleteJob.php
View file

@ -46,7 +46,9 @@ class EchoNotificationDeleteJob extends Job {
$notifMapper = new EchoNotificationMapper();
$targetMapper = new EchoTargetPageMapper();
$userId = $this->userIds[0];
// Back-compat for older jobs which used array( $userId => $userId );
$userIds = array_values( $this->userIds );
$userId = $userIds[0];
$user = User::newFromId( $userId );
$notif = $notifMapper->fetchByUserOffset( $user, $wgEchoMaxUpdateCount );
if ( $notif ) {