mediawiki-extensions-Echo/includes/jobs
Umherirrender 9bf6ceb738 Replace deprecated JobQueueGroup::singleton()
Change-Id: I298d8507f4ec706c235087b726b7b230ed5e9ac6
2022-01-25 22:24:53 +01:00
..
NotificationDeleteJob.php Replace deprecated JobQueueGroup::singleton() 2022-01-25 22:24:53 +01:00
NotificationJob.php