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
..
Push	Create push subscription manager group/right to clean up dead subs	2020-08-20 17:08:48 -04:00
ApiCrossWiki.php	Add strict "array" type hints to code expecting arrays	2019-10-24 15:18:58 +00:00
ApiEchoArticleReminder.php	Remove legacy ApiBase::getTokenSalt() overrides	2020-08-15 05:30:58 +00:00
ApiEchoMarkRead.php	Remove legacy ApiBase::getTokenSalt() overrides	2020-08-15 05:30:58 +00:00
ApiEchoMarkSeen.php	phpcs: Break long lines	2020-06-27 12:05:03 +02:00
ApiEchoMute.php	Remove legacy ApiBase::getTokenSalt() overrides	2020-08-15 05:30:58 +00:00
ApiEchoNotifications.php	Use more canonical (object)[] instead of new stdClass	2020-08-13 09:58:14 +00:00
ApiEchoUnreadNotificationPages.php	Remove Phan exceptions reported as unused	2020-08-13 09:25:05 +00:00