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
mediawiki-extensions-Echo/includes/jobs
History
Kunal Mehta e536eab216 Avoid warnings on older queued EchoNotificationDeleteJobs 
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
2015-07-02 15:08:14 -07:00
..
NotificationDeleteJob.php Avoid warnings on older queued EchoNotificationDeleteJobs 2015-07-02 15:08:14 -07:00
NotificationEmailBundleJob.php Move all PHP code into includes/ 2015-06-07 18:54:14 -07:00
NotificationJob.php Move all PHP code into includes/ 2015-06-07 18:54:14 -07:00