mediawiki-extensions-Echo/tests
Michael Holloway 3513c642dd Create push subscription manager group/right to clean up dead subs
Creates a new push-subscription-manager group and an associated
right, manage-all-push-subscriptions. The purpose of this is to
allow privileged accounts to purge expired subscriptions from the
database on behalf of other users. A user with this right will be
permitted to delete any subscription from the DB based on the token
alone. For all other users, deletion requests will be limited to
those associated with the requesting user's central ID.

This right will be granted to a bot account on Metawiki associated
with the Wikimedia push notifications service, and the push
notifications service account will make push subscription delete
requests to the API for subscriptions for which vendor APIs return bad
subscription responses.

Additionally, the providertoken parameter to ApiPushSubscriptionDelete
is updated to allow multiple providertoken values.

Bug: T259148
Change-Id: Ia6c17588ee94e6be74e5e3a75eb33e38f172fc93
2020-08-20 17:08:48 -04:00
..
phpunit Create push subscription manager group/right to clean up dead subs 2020-08-20 17:08:48 -04:00
qunit Stop using ResourceLoaderTestModules hook 2020-08-03 13:18:29 +02:00
selenium Selenium: Update to WebdriverIO v5 2020-06-22 15:54:30 +00:00
bootstrap.php build: Updating mediawiki/mediawiki-codesniffer to 0.9.0 2017-06-22 14:13:28 +00:00
echo.suite.xml Directory reshuffle, add dev tools 2014-08-01 22:38:41 +00:00