mediawiki-extensions-Echo/includes/api
Michael Holloway a3674974f1 Add push subscription management
Adds DB tables for storing push subscriptions, some DB interaction code
for retrieving them within MediaWiki, and a set of API modules for
managing them from the outside world.

When testing this patch, be sure to run maintenance/update.php to create
the new tables, and set $wgEchoEnablePush = true in LocalSettings.php
to enable the API new API module.

N.B. The current DB schema is centered on app push subscriptions. Web
push subscriptions require slightly different handling, since they are
provided by browsers as a JSON blob rather than a token string. How to
handle web push subscriptions is a question we can defer until the time
comes to add web push support.

Subscription data is stored in the echo_push_subscription table, with
provider names normalized into the echo_push_provider table. We expect to
be looking up subscriptions by central user ID, so that column is indexed.
The subscription data also includes a column to store SHA256 digests of
the subscriber tokens. This is for use as a unique key constraint, since
we expect every push token to be univerally unique, and the token values
themselves may be too large to reasonably index in MySQL.

Bug: T252899
Change-Id: I3928761b3fba12e54ff4850e9a05c68ec7772f62
2020-06-02 13:40:00 -04:00
..
Push Add push subscription management 2020-06-02 13:40:00 -04:00
ApiCrossWiki.php Add strict "array" type hints to code expecting arrays 2019-10-24 15:18:58 +00:00
ApiEchoArticleReminder.php Use Special:MyLanguage in API help links 2019-08-27 06:14:51 +00:00
ApiEchoMarkRead.php Use Special:MyLanguage in API help links 2019-08-27 06:14:51 +00:00
ApiEchoMarkSeen.php Use GET rather than POST for action=markseen 2020-01-10 16:12:18 -08:00
ApiEchoMute.php Add dynamic secondary action to mute/unmute page-linked notifications 2020-05-27 15:20:08 +02:00
ApiEchoNotifications.php build: Updating composer dependencies 2020-02-19 20:20:29 +00:00
ApiEchoUnreadNotificationPages.php build: Updating mediawiki/mediawiki-phan-config to 0.9.0 2019-12-29 11:59:32 +00:00