mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-25 00:05:29 +00:00
e536eab216
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 |
||
---|---|---|
.. | ||
NotificationDeleteJob.php | ||
NotificationEmailBundleJob.php | ||
NotificationJob.php |