wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-23 23:44:53 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/includes/Push
History
Michael Holloway a5bcc65504 Fix push subscription retrieval 
Updates the push subscription query to retrieve a provider string rather
than only its numeric internal ID.

Change-Id: I910173409e48e8b6a6739d3122165c40b0d52b7f
2020-06-08 13:58:42 +02:00
..
NotificationRequestJob.php Add push notifier 2020-06-02 13:40:04 -04:00
NotificationServiceClient.php Add push notifier 2020-06-02 13:40:04 -04: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