mediawiki-extensions-Echo/includes/Push
Umherirrender 9bf6ceb738 Replace deprecated JobQueueGroup::singleton()
Change-Id: I298d8507f4ec706c235087b726b7b230ed5e9ac6
2022-01-25 22:24:53 +01:00
..
NotificationRequestJob.php Push: Bail out of notification job early if no subscriptions found 2020-06-10 15:38:23 -04:00
NotificationServiceClient.php push: send apns topic when present 2020-08-18 13:21:20 +00:00
PushNotifier.php Replace deprecated JobQueueGroup::singleton() 2022-01-25 22:24:53 +01:00
Subscription.php Add missing @var and improve documentation 2020-12-17 20:55:49 +01:00
SubscriptionManager.php Avoid non-namespaced aliases for Wikimedia\Rdbms namespace 2021-09-18 20:06:54 +02:00
Utils.php Use CentralIdLookupFactory and pass UserIdentity 2021-07-21 19:23:42 -07:00