mediawiki-extensions-Echo/includes/Push
Umherirrender d7556b1d96 Add missing @var and improve documentation
Change-Id: I729d5ff5afd4d45022fa0a4e42d060d35543b567
2020-12-17 20:55:49 +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 Create push subscription manager group/right to clean up dead subs 2020-08-20 17:08:48 -04:00
Subscription.php Add missing @var and improve documentation 2020-12-17 20:55:49 +01:00
SubscriptionManager.php Normalize eps_topic 2020-09-14 15:52:23 -04:00
Utils.php Create push subscription manager group/right to clean up dead subs 2020-08-20 17:08:48 -04:00