mediawiki-extensions-Echo/includes/Push
Michael Holloway 1d31fd753a Push: Submit requests to configured service endpoint
Finishes the implementation of the stubbed NotificationServiceClient.
Sends push notification request messages to the endpoint configured in
the EchoPushServiceBaseUrl setting. For example, to send messages to an
instance of mediawiki/services/push-notifications running on the host
machine while running MediaWiki in Docker, add the following line to
LocalSettings.php:

 $wgEchoPushServiceBaseUrl = 'http://172.17.0.1:8900/v1/message';

Bug: T252899
Change-Id: Icab7825e9080d6b1a4cfc5e12fed1da221ce4610
2020-06-08 13:37:24 +00:00
..
NotificationRequestJob.php Push: Submit requests to configured service endpoint 2020-06-08 13:37:24 +00:00
NotificationServiceClient.php Push: Submit requests to configured service endpoint 2020-06-08 13:37:24 +00:00
PushNotifier.php Add push notifier 2020-06-02 13:40:04 -04:00
Subscription.php Fix push subscription retrieval 2020-06-08 13:58:42 +02:00
SubscriptionManager.php Fix push subscription retrieval 2020-06-08 13:58:42 +02:00