This page offers information about the push subscription managers user group.
This page is currently a draft. More information pertaining to this may be available on the talk page.
Translation admins: Normally, drafts should not be marked for translation.
Push subscription managers is a new user group introduced by the MediaWiki extension Echo with 3513c642dd53 in August 2020.
According to the commit message, it will «allow privileged accounts to purge expired subscriptions from the database on behalf of other users». «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».
This group exists only on Meta-Wiki. It was briefly present on all Wikimedia wikis, but this is no longer the case.